Remove some theories that have been deprecated for 10 years.
Fix documentation.