aboutsummaryrefslogtreecommitdiff
path: root/hott/Propositions.thy (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-06-24Bad practice huge commit:Josh Chen1-2/+6
1. Rudimentary prototype definitional package 2. Started univalence 3. Various compatibility fixes and new theory stubs 4. Updated ROOT file
2021-04-10start hprop stuffJosh Chen1-0/+19