Isabelle-HoTT/mltt/lib, branch mastertrying to make Isabelle/HoTT work with Isabelle 2021-1
Bad practice huge commit:2021-06-24T21:40:05+00:00Josh Chen2021-06-24T21:40:05+00:00f988d541364841cd208f4fd21ff8e5e2935fc7aa
1. Rudimentary prototype definitional package
2. Started univalence
3. Various compatibility fixes and new theory stubs
4. Updated ROOT file
1. Rudimentary prototype definitional package
2. Started univalence
3. Various compatibility fixes and new theory stubs
4. Updated ROOT file
rename things + some small changes2021-01-31T02:54:51+00:00Josh Chen2021-01-31T02:54:51+00:002feb56660700af107abb5a28a7120052ac405518