HoTT/book — pull request #295 by dvanduzer (2013-06-21 16:26:25+00:00)
Title: mismatched brace in basics.tex

Responsible for this message in hott-online.log:

(\end occurred inside a group at level 1)

### simple group (level 1) entered at line 714 ({)
### bottom level