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

	Commit message (Collapse)	Author	Files	Lines
2020-04-02	Brand-spanking new version using Spartan infrastructure	Josh Chen	13	-0/+3068