Beginning of week12 notes
More notes outline from wednesday class
Added TODOS
Started cleaning up
Cleaned up and fleshed out some sections
Commit stuff from desktop
Merge
Some typos
Fixed non-buildingness of week12 notes
Cleaned up my sections
Cleaned up an inference rule
Cleaned up a bit more
Made all references to merid non-italic
Overrode refl
Made loop and base written properly
Did some more cleaning up
Finished notes for week 12
Merge pull request #6 from maurer/cmu-2013-fall

Week 12 Notes
Merge pull request #5 from chathhorn/patch-1

Thanks!  Sorry for the late response.
Solve #4.

Solve problems discovered by @williamdemeo.

- Add tikz-cd.sty for Ubuntu 12.04.
- Make \ac robust.
- Make other commands robust.