Isabelle-HoTT/tests, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 Brand-spanking new version using Spartan infrastructure 2020-04-02T15:57:48+00:00 Josh Chen 2020-04-02T15:57:48+00:00 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:54+00:00

Josh Chen

2018-09-18T09:38:54+00:00

6857e783fa5cb91f058be322a18fb9ea583f2aad












begin reorganizing
2018-09-15T18:51:39+00:00

Josh Chen

2018-09-15T18:51:39+00:00

515872533295e8464799467303fff923b52a2c01












Update Test.thy
2018-08-18T21:39:52+00:00

Josh Chen

2018-08-18T21:39:52+00:00

2d131e90b950bed47cb315288d8f6e90969f3918












Reorganize methods
2018-08-18T21:27:25+00:00

Josh Chen

2018-08-18T21:27:25+00:00

8833cdf99d3128466d85eb88aeb8e340e07e937c












Regrouping type rules
2018-08-18T19:28:21+00:00

Josh Chen

2018-08-18T19:28:21+00:00

e1be5f97bb2a42b3179bc24b118d69af137f8e5d












HoTT_Test.thy should go in test/
2018-08-18T14:18:23+00:00

Josh Chen

2018-08-18T14:18:23+00:00

03c734ea067bd28210530d862137133e2215ca80












Comments on subgoal test theory
2018-08-18T13:07:33+00:00

Josh Chen

2018-08-18T13:07:33+00:00

a1603ffdddcbe333a3e4f0f328a4c25698c2d475












Rename
2018-08-18T13:02:43+00:00

Josh Chen

2018-08-18T13:02:43+00:00

8b767a5aac248892fb1a5ed99aca6699f5f2b317












Test theories
2018-08-18T12:54:24+00:00

Josh Chen

2018-08-18T12:53:36+00:00

bd93584da62ce4b1e43862b4119788265b00cb3c