HoTT/HoTT — pull request #273 by andrejbauer (2013-11-28 21:28:28+00:00)
Title: Improved contrib/HoTTBook.v and etc/Book.py, close #272

The `HoTTBook.v` file now contains coqdoc comments.