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

	Commit message (Expand)	Author	Files	Lines
2021-01-31	rename things + some small changes	Josh Chen	1	-7/+7
2020-08-14	update license file list	Josh Chen	1	-0/+4
2020-07-11	fix file location reference in license	Josh Chen	1	-2/+2
2020-04-02	Brand-spanking new version using Spartan infrastructure	Josh Chen	1	-0/+53
2018-08-21	Rename LICENSE.md to LICENSE	Josh Chen	1	-0/+0
2018-08-21	Create LICENSE.md	Josh Chen	1	-0/+165