Isabelle-HoTT/LICENSE, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 https://stuebinm.eu/git/Isabelle-HoTT/atom/LICENSE?h=master 2021-01-31T02:54:51Z rename things + some small changes 2021-01-31T02:54:51Z Josh Chen 2021-01-31T02:54:51Z urn:sha1:2feb56660700af107abb5a28a7120052ac405518 update license file list 2020-08-14T09:11:34Z Josh Chen 2020-08-14T09:11:34Z urn:sha1:7a53528cdd91511d3c4e461b3af75ee88afee981 fix file location reference in license 2020-07-11T13:11:44Z Josh Chen 2020-07-11T13:11:37Z urn:sha1:7d59cf17b60d196c2a8bb93e5b1927748599107e Brand-spanking new version using Spartan infrastructure 2020-04-02T15:57:48Z Josh Chen 2020-04-02T15:57:48Z urn:sha1:c2dfffffb7586662c67e44a2d255a1a97ab0398b Rename LICENSE.md to LICENSE 2018-08-21T12:38:28Z Josh Chen 2018-08-21T12:38:28Z urn:sha1:5193d4dd1ebef7fa000489710ff138ab98876c52