MATH 239: added reference to Theorem 1.6.5.
MATH 239: added missing bracket.
CS 240: added January 31, 2013 lecture.