Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

	Commit message (Expand)	Author	Files	Lines
2018-09-18	Overhaul of the theory presentations. New methods in HoTT_Methods.thy for han...	Josh Chen	2	-120/+46
2018-09-15	begin reorganizing	Josh Chen	1	-1/+1
2018-08-18	Update Test.thy	Josh Chen	1	-12/+12
2018-08-18	Reorganize methods	Josh Chen	1	-6/+6
2018-08-18	Regrouping type rules	Josh Chen	2	-15/+7
2018-08-18	HoTT_Test.thy should go in test/	Josh Chen	1	-0/+121
2018-08-18	Comments on subgoal test theory	Josh Chen	1	-23/+29
2018-08-18	Rename	Josh Chen	1	-1/+2
2018-08-18	Test theories	Josh Chen	1	-0/+64