Isabelle-HoTT/spartan/core/ml, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 https://stuebinm.eu/git/Isabelle-HoTT/atom/spartan/core/ml?h=master 2020-06-19T10:41:54Z reorganize 2020-06-19T10:41:54Z Josh Chen 2020-06-19T10:41:54Z urn:sha1:4f147cba894baa9e372e2b67211140b1a6f7b16c rename folders 2020-06-15T09:52:19Z Josh Chen 2020-06-15T09:52:19Z urn:sha1:69bf0744a5ce3ba144f59564ebf74d7d2f56b748