Isabelle-HoTT/test, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 Remove test commit folder 2018-08-17T13:39:40+00:00 Josh Chen 2018-08-17T13:39:40+00:00 5cefd4e82dc9c298074ffa8a4e0240786bdf8fc6 






second test
2018-08-16T17:49:39+00:00

Josh Chen

2018-08-16T17:49:39+00:00

a8e645e3a8d6e61bb0353ae6ac430a53811b0d58