Guessing that logic.tex is obsolete
Guessing that logic.tex is obsolete
labeling universal cover of S1
Bibliography in TOC, but why does the link point to the wrong page?
setup new order in chapter on reals
Changed font for Vect, Fin, fmax
Changed 2nd to second
Merge branch 'master' of github.com:HoTT/book
Reducing pollution