aboutsummaryrefslogtreecommitdiff
path: root/Equivalence.thy (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-03-27More progress. I think we are reaching the limit of what can be conveniently ↵Josh Chen1-22/+53
proved with the current implementation.
2019-03-26working towards biinv_imp_qinvJosh Chen1-0/+197