Isabelle-HoTT/mltt/lib, branch master

Isabelle-HoTT/mltt/lib, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 https://stuebinm.eu/git/Isabelle-HoTT/atom/mltt/lib?h=master 2021-06-24T21:40:05Z Bad practice huge commit: 2021-06-24T21:40:05Z Josh Chen 2021-06-24T21:40:05Z urn:sha1:f988d541364841cd208f4fd21ff8e5e2935fc7aa 1. Rudimentary prototype definitional package 2. Started univalence 3. Various compatibility fixes and new theory stubs 4. Updated ROOT file rename things + some small changes 2021-01-31T02:54:51Z Josh Chen 2021-01-31T02:54:51Z urn:sha1:2feb56660700af107abb5a28a7120052ac405518