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	1	-57/+37
2018-08-18	Reorganize methods	Josh Chen	1	-10/+10
2018-08-18	Regrouping type rules	Josh Chen	1	-4/+3
2018-08-18	Misc formatting	Josh Chen	1	-1/+1
2018-08-16	Prod.thy now has the correct definitional equality structure rule. Definition...	Josh Chen	1	-9/+7
2018-08-16	Prod.thy now has the correct definitional equality structure rule. Definition...	Josh Chen	1	-9/+7
2018-08-15	Basic compute method	Josh Chen	1	-5/+5
2018-08-15	Tweak proof methods, some type rules; add HoTT Book examples	Josh Chen	1	-5/+5
2018-08-14	Well-formation rules are back in the methods; new theory synthesizing the nat...	Josh Chen	1	-0/+81