Bob Jensen's main theory document has been moved to http://faculty.trinity.edu/rjensen/Theory01.htm