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: