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