aboutsummaryrefslogtreecommitdiff
path: root/HoTT_Test.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update test fileJosh Chen2018-08-181-113/+19
* Testing with the new theoryJosh Chen2018-08-171-29/+25
* test new machineJosh Chen2018-08-161-0/+2
* Some comments and reorganizationJosh Chen2018-08-161-0/+217
* pre-system upgrade commitJosh Chen2018-05-231-58/+0
* Added precedences. Need to figure out how to organize metatypes.Josh Chen2018-05-141-0/+58