aboutsummaryrefslogtreecommitdiff
path: root/Equivalence.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* More progress. I think we are reaching the limit of what can be conveniently ↵Josh Chen2019-03-271-22/+53
| | | | proved with the current implementation.
* working towards biinv_imp_qinvJosh Chen2019-03-261-0/+197