ignore pdf and other tex files; delete existing pdf files
Merge pull request #2 from jasongrout/delete-pdf

ignore pdf and other tex files; delete existing pdf files
Minor updates

- changed a couple theorems to problems
- changed a problem to theorem
- fixed a couple typos
- updated header
Merge branch 'master' of https://github.com/dcernst/IBL-IntroToProof

Conflicts:
	IntroToProofNotes1.3.pdf
adding a PDF (which should be ignored)

Not sure what's going on...
Attempting to remove PDF.
Made some improvements to notes.
- modified some wording
- adding a couple of exercises
Added comment in file to remind myself to make a change for next time
Modified header, fixed a typo, and cleaned up tex file
Modified header, cleaned up tex file, and other minor cosmetic changes
Modified header, cleaned up tex file, and other minor cosmetic changes
Fixed a typo (pointed out by Andrew Desrosiers)
Several minor updates.
- modified headers
- rearranged a few items in Section 3.2
- added a remark to Section 3.3
Modified header, cleaned up tex file, and other minor cosmetic changes
added missing periods to the end of a few sentences
Modified header, cleaned up tex file, and other minor cosmetic changes
Fixed the index set in one of the exercises.
Fixed minor typo.
Moved Induction before the chapter on Relations and Functions. This required renaming files and some re-numbering.
Adding newly named files to repo.