HoTT/HoTT — pull request #102 by andrejbauer (2013-03-22 05:04:19+00:00)
Title: Changes to Makefile.am, etc/Book.py script to link the HoTT library to the HoTT book.

The script etc/Book.py works ok, but I still need to put in a Makefile rule for it.