Put the first chapter's worth of notes into book form.
Correct the definition of the limit
Add a note about tex symbols for quantifiers.
slight rewording
Remove redundant question and replace it with one investigating changing the order of quantifiers.
Show the second quantifier section.
Rename section files
Reorganize book and add copyright and preface.
Add note from Dana's recent changes.
Reword limit statement so it keeps the section to 2 pages.
Merge branch 'master' of https://github.com/dcernst/IBL-IntroToProof
Add homework template
Tweaks to text.
Support texing just a single section.
Section 2.2 in book
Add missing files.
Add cc-sa image.
Add sections 2.5, 3.1, 3.2
Merge branch 'master' of https://github.com/dcernst/IBL-IntroToProof
Pulling the square image into the book version.