Name change, half of winter 2013 course notes updated