Disable some warnings, and start IndProp chapter
Finish logic chapter
Progress on logic
Finish Tactics chapter
Finish poly chapter
Finish list 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
Finish Vol1: Basics