doc-src/Main/Docs/Main_Doc.thy
changeset 35061 be1e25a62ec8
parent 35007 8c339c73495c
child 35277 f228929a6fab
--- a/doc-src/Main/Docs/Main_Doc.thy	Mon Feb 08 15:54:01 2010 -0800
+++ b/doc-src/Main/Docs/Main_Doc.thy	Tue Feb 09 08:28:12 2010 +0100
@@ -297,7 +297,7 @@
 
 \section{Algebra}
 
-Theories @{theory OrderedGroup}, @{theory Ring_and_Field} and @{theory
+Theories @{theory Groups}, @{theory Rings}, @{theory Fields} and @{theory
 Divides} define a large collection of classes describing common algebraic
 structures from semigroups up to fields. Everything is done in terms of
 overloaded operators: