aboutsummaryrefslogtreecommitdiff
path: root/tests/Test.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update Test.thyJosh Chen2018-08-181-12/+12
* Regrouping type rulesJosh Chen2018-08-181-6/+6
* HoTT_Test.thy should go in test/Josh Chen2018-08-181-0/+121