aboutsummaryrefslogtreecommitdiff
path: root/Univalence.thy (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-09-19RenamingJosh Chen1-1/+1
2018-09-18Theories fully reorganized. Well-formedness rules removed. New methods etc.Josh Chen1-141/+53
2018-09-12Final commit before first releaseJosh Chen1-1/+1
2018-09-12Some final touchups before release 0.1 for the MS thesisJosh Chen1-1/+3
2018-09-11Add the univalence axiomJosh Chen1-4/+64
2018-09-11Running into trouble with the polymorphic identity functionJosh Chen1-11/+55
2018-09-11Implementing univalenceJosh Chen1-0/+71