I asked the lecturer. Here is his reply: --On Donnerstag, 18. Mai 2000, 14:25 +0100 "William Clocksin" <William.Clocksin@CL.cam.ac.uk> wrote: > Yes, it is a mistake in the notes. This was pointed out in the lectures. Maybe > that's what you missed! Was it pointed out? I must have been really sleepy ;) Mo