Isabelle-HoTT/tests, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 https://stuebinm.eu/git/Isabelle-HoTT/atom/tests?h=master 2020-04-02T15:57:48Z Brand-spanking new version using Spartan infrastructure 2020-04-02T15:57:48Z Josh Chen 2020-04-02T15:57:48Z urn:sha1:c2dfffffb7586662c67e44a2d255a1a97ab0398b Overhaul of the theory presentations. New methods in HoTT_Methods.thy for handling universes. Commit for release 0.1.0! 2018-09-18T09:38:54Z Josh Chen 2018-09-18T09:38:54Z urn:sha1:6857e783fa5cb91f058be322a18fb9ea583f2aad begin reorganizing 2018-09-15T18:51:39Z Josh Chen 2018-09-15T18:51:39Z urn:sha1:515872533295e8464799467303fff923b52a2c01 Update Test.thy 2018-08-18T21:39:52Z Josh Chen 2018-08-18T21:39:52Z urn:sha1:2d131e90b950bed47cb315288d8f6e90969f3918 Reorganize methods 2018-08-18T21:27:25Z Josh Chen 2018-08-18T21:27:25Z urn:sha1:8833cdf99d3128466d85eb88aeb8e340e07e937c Regrouping type rules 2018-08-18T19:28:21Z Josh Chen 2018-08-18T19:28:21Z urn:sha1:e1be5f97bb2a42b3179bc24b118d69af137f8e5d HoTT_Test.thy should go in test/ 2018-08-18T14:18:23Z Josh Chen 2018-08-18T14:18:23Z urn:sha1:03c734ea067bd28210530d862137133e2215ca80 Comments on subgoal test theory 2018-08-18T13:07:33Z Josh Chen 2018-08-18T13:07:33Z urn:sha1:a1603ffdddcbe333a3e4f0f328a4c25698c2d475 Rename 2018-08-18T13:02:43Z Josh Chen 2018-08-18T13:02:43Z urn:sha1:8b767a5aac248892fb1a5ed99aca6699f5f2b317 Test theories 2018-08-18T12:54:24Z Josh Chen 2018-08-18T12:53:36Z urn:sha1:bd93584da62ce4b1e43862b4119788265b00cb3c