aboutsummaryrefslogtreecommitdiff
path: root/Univalence.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* Theories fully reorganized. Well-formedness rules removed. New methods etc.Josh Chen2018-09-181-141/+53
* Reorganized HoTT_Base, updated theoriesJosh Chen2018-09-161-19/+18
* Final commit before first releaseJosh Chen2018-09-121-1/+1
* Some final touchups before release 0.1 for the MS thesisJosh Chen2018-09-121-1/+3
* 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