HoTT/HoTT — pull request #276 by marcbezem (2013-12-04 11:46:10+00:00)
Title: Extended HoTTBook.v with references for 2.6-9

Will also add a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v.

Will probably be in need of some support for running the Python script to avoid some strange conflicts.