aboutsummaryrefslogtreecommitdiff
path: root/hott/Base.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* 1. Base theory. 2. Fix Nat axioms, addition.Josh Chen2020-04-031-0/+99
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 08:17:52 +0000