aboutsummaryrefslogtreecommitdiff
path: root/tests (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update Test.thyJosh Chen2018-08-181-12/+12
* Reorganize methodsJosh Chen2018-08-181-6/+6
* Regrouping type rulesJosh Chen2018-08-182-15/+7
* HoTT_Test.thy should go in test/Josh Chen2018-08-181-0/+121
* Comments on subgoal test theoryJosh Chen2018-08-181-23/+29
* RenameJosh Chen2018-08-181-1/+2
* Test theoriesJosh Chen2018-08-181-0/+64