Isabelle-HoTT/spartan/core/lib, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 reorganize 2020-06-19T10:41:54+00:00 Josh Chen 2020-06-19T10:41:54+00:00 4f147cba894baa9e372e2b67211140b1a6f7b16c 






1. Type information context data
2020-06-03T11:09:30+00:00

Josh Chen

2020-06-03T11:09:30+00:00

e513fc2958133e3a00c06ebcd1214741843acf08

2. Small reformulations of rules
3. Bool





2. Small reformulations of rules
3. Bool







case distinction
2020-05-28T12:07:52+00:00

Josh Chen

2020-05-28T12:07:52+00:00

6ff59c83de9ce7d5715fae19f50d94b0b973414a












reorganize folder structure
2020-05-28T10:54:40+00:00

Josh Chen

2020-05-28T10:54:40+00:00

a9606c980dcc32ade28ebd1515cad33b380ebd64