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