Here are the full notes from Fall 2000. They should now be complete.
I also have a theorem list. Get it here: