Isabelle-HoTT/test, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 https://stuebinm.eu/git/Isabelle-HoTT/atom/test?h=master 2018-08-17T13:39:40Z Remove test commit folder 2018-08-17T13:39:40Z Josh Chen 2018-08-17T13:39:40Z urn:sha1:5cefd4e82dc9c298074ffa8a4e0240786bdf8fc6 second test 2018-08-16T17:49:39Z Josh Chen 2018-08-16T17:49:39Z urn:sha1:a8e645e3a8d6e61bb0353ae6ac430a53811b0d58