Initial release of the Isabelle/HoTT object logic, coinciding with the submission of my MS thesis. There is still lots of work to be done, and it is quite likely that future versions will not look very much like the current state. In particular, polymorphism is a pain. Also proof methods.
