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

	Commit message (Expand)	Author	Files	Lines
2020-05-27	minor	Josh Chen	1	-8/+2
2020-05-27	Eckmann-Hilton, first pass	Josh Chen	1	-3/+176
2020-05-26	new material	Josh Chen	1	-0/+21