Isabelle-HoTT/LICENSE, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 rename things + some small changes 2021-01-31T02:54:51+00:00 Josh Chen 2021-01-31T02:54:51+00:00 2feb56660700af107abb5a28a7120052ac405518 






update license file list
2020-08-14T09:11:34+00:00

Josh Chen

2020-08-14T09:11:34+00:00

7a53528cdd91511d3c4e461b3af75ee88afee981












fix file location reference in license
2020-07-11T13:11:44+00:00

Josh Chen

2020-07-11T13:11:37+00:00

7d59cf17b60d196c2a8bb93e5b1927748599107e












Brand-spanking new version using Spartan infrastructure
2020-04-02T15:57:48+00:00

Josh Chen

2020-04-02T15:57:48+00:00

c2dfffffb7586662c67e44a2d255a1a97ab0398b












Rename LICENSE.md to LICENSE
2018-08-21T12:38:28+00:00

Josh Chen

2018-08-21T12:38:28+00:00

5193d4dd1ebef7fa000489710ff138ab98876c52