Lecture 2013 04 11

At least one assistant uses these notes to prepare her course, so it might be useful to have the latest version in master. However, every version more recent than the current master is riddled with TODOs and the like. What do you think?