aboutsummaryrefslogtreecommitdiff
path: root/tests (follow)
Commit message (Collapse)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