My old revision notes might be of use to some of you. They are basically very concise versions of the lecture notes as they were back in 2016. N.B. I have never edited these since then, so there might be some mistakes or typos, and the contents of the courses might have changed! The courses covered in the notes are