Isabelle-HoTT/ex/Book, branch master

Isabelle-HoTT/ex/Book, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 https://stuebinm.eu/git/Isabelle-HoTT/atom/ex/Book?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 add ROOT file 2018-09-18T14:52:08Z Lars Hupel 2018-09-18T14:52:08Z urn:sha1:f07e0e2349a222130209ada9c029eea3d1fe8144