aboutsummaryrefslogtreecommitdiff
path: root/tests (follow)
Commit message (Expand)AuthorAgeFilesLines
* Brand-spanking new version using Spartan infrastructureJosh Chen2020-04-021-110/+0
* Overhaul of the theory presentations. New methods in HoTT_Methods.thy for han...Josh Chen2018-09-182-120/+46
* begin reorganizingJosh Chen2018-09-151-1/+1
* 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