Conforming homotopy.tex to variable width format
Variable width format for categories chapter.
Conforming set theory to variable-width format
Variable width format for reals
Cleaned up section on axioms, variable width format.
use blanks instead of minuses in macros
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	reals.tex