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

	Commit message (Expand)	Author	Files	Lines
2018-06-04	Prod_comp should have a type constraint. This also fixes a false proof for th...	Josh Chen	1	-14/+38
2018-06-01	Should be final version of Prod. Theorems proving stuff about currying. Rules...	Josh Chen	1	-19/+50
2018-05-30	New type rules for dependent product and sum.	Josh Chen	1	-9/+4
2018-05-30	Fixed dependent product rules, hopefully final now.	Josh Chen	1	-72/+27
2018-05-29	More rigorous rules for Product type. Propositions and proofs all working, bu...	Josh Chen	1	-12/+55
2018-05-28	Dependent product rules done and proofs of typing properties so far work. Sta...	Josh Chen	1	-37/+56
2018-05-23	pre-system upgrade commit	Josh Chen	1	-0/+68