Class

This year I have decided to leave out of the syllabus the proof technique called mutual induction and use the extra time to develop additional exercises.

If you find proofs in the slides referring to mutual induction, you should just skip them.