~pmikkelsen/software-foundations

Disable some warnings, and start IndProp chapter
Finish logic chapter
Finish Tactics chapter
Start working on the list chapter
Rest of induction chapter
Prepare files for future chapters
Comment out Check and Compute, so the output of running make is less noisy
Do not follow this link