The notes were updated on Oct. 29th, 2010. Refresh your browser to get the new version.
Errata: On example sheet 2, ignore Problem 3.9 which refers to inexistant propositions (or duplicates with Problem 3.3). On Example sheet 3, ignore Problem 6.2 which also refers to an inexistant proposition.