aboutsummaryrefslogtreecommitdiff
path: root/hott/More_Nat.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* reorganizeJosh Chen2020-06-191-0/+43