aboutsummaryrefslogtreecommitdiff
path: root/ex/HoTT book/Ch1.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Regrouping type rulesJosh Chen2018-08-181-2/+1
|
* Misc formattingJosh Chen2018-08-181-1/+1
|
* Some comments and reorganizationJosh Chen2018-08-161-0/+44