Update notes.
Update course notes of the first one in October, as well as some
snippets trying to simulate proofs. It failed. Macro wins at last.
Merge branch 'master' of github.com:ProfessorX/CIS604