 <a href="http://www.cs.cornell.edu/Info/People/jackson/nuprl/index.html"> Hypertext listings </a> for most of the theories I developed for my thesis are available.  The listings for each theory include introductions, summaries of definitions and theorems, and formatted proofs. The listings for the polynomial-related theories are not included at the moment, but should be in the next couple of days.   <hr> Last Modified Feb 25th, 1995<p>
