aboutsummaryrefslogtreecommitdiff
path: root/tests (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-08-18Update Test.thyJosh Chen1-12/+12
2018-08-18Reorganize methodsJosh Chen1-6/+6
2018-08-18Regrouping type rulesJosh Chen2-15/+7
2018-08-18HoTT_Test.thy should go in test/Josh Chen1-0/+121
2018-08-18Comments on subgoal test theoryJosh Chen1-23/+29
2018-08-18RenameJosh Chen1-1/+2
2018-08-18Test theoriesJosh Chen1-0/+64