Here are the notes so far.
Here are Holmes's naive notes on positive set theory. (I really wanted to set these up in HTML to be viewed rather than printed out, but right now latex2html isn't working). These are still very brief.
Here are some notes on partition relations and related issues in models of NFU
Here is the Solovay mail file