aboutsummaryrefslogtreecommitdiff
path: root/Univalence.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add the univalence axiomJosh Chen2018-09-111-4/+64
* Running into trouble with the polymorphic identity functionJosh Chen2018-09-111-11/+55
* Implementing univalenceJosh Chen2018-09-111-0/+71