Fix typo (thanks Chris)
Updated induction
first draft of the preliminaries chapter
Merge branch 'master' of https://github.com/HoTT/book
fixes to accidental check-in of main.tex
typos
Merge branch 'master' of github.com:HoTT/book
"things to discuss" in a comment
a bit more explanation at the beginning of basics
more explanation in basics
Adding material on induction.
Induction.tex
Adding a short section on equivalence induction.
addad subfile for the basics chapter (will be merged later)
working on basics
Merge branch 'master' of github.com:HoTT/book
command for homotopies
Working on functoriality section
writing equivalences section in basics
Merge branch 'master' of https://github.com/HoTT/book

Conflicts:
	basics.tex