I have now added some notes for the first slides, and made the LaTeX source available, and put a page together explaining what's going on: http://www.cs.mu.oz.au/~rgmerk/prespage.html