aboutsummaryrefslogtreecommitdiff
path: root/hott/Bool_HoTT.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* start hprop stuffJosh Chen2021-04-101-0/+8