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

	Commit message (Expand)	Author	Files	Lines
2022-06-29	make mltt work with isabelle 2021-1	stuebinm	1	-3/+5
2021-01-31	rename things + some small changes	Josh Chen	1	-0/+0
2020-08-14	(FEAT) Context data slots for known types and conditional type rules, as well...	Josh Chen	1	-1/+30
2020-07-31	(FEAT) Term elaboration of assumption and goal statements.	Josh Chen	1	-28/+23
2020-07-28	small improvement	Josh Chen	1	-2/+1
2020-07-28	New `assuming` proof command for elaborated assumptions	Josh Chen	1	-64/+109
2020-07-27	Hook elaboration into assumptions mechanism	Josh Chen	1	-0/+402