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

	Commit message (Expand)	Author	Files	Lines
2019-02-11	Put typing functionality into a .thy and clean up antiquotations, which resul...	Josh Chen	1	-35/+37
2019-02-11	get_this more robust. Functions to convert ML terms and types to strings.	Josh Chen	1	-3/+23
2019-02-10	restructure library	Josh Chen	1	-0/+102