aboutsummaryrefslogtreecommitdiff
path: root/Univalence.thy (follow)
Commit message (Collapse)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