doc-src/Main/Docs/Main_Doc.thy
changeset 35061 be1e25a62ec8
parent 35007 8c339c73495c
child 35277 f228929a6fab
equal deleted inserted replaced
35060:6088dfd5f9c8 35061:be1e25a62ec8
   295 \end{tabular}
   295 \end{tabular}
   296 
   296 
   297 
   297 
   298 \section{Algebra}
   298 \section{Algebra}
   299 
   299 
   300 Theories @{theory OrderedGroup}, @{theory Ring_and_Field} and @{theory
   300 Theories @{theory Groups}, @{theory Rings}, @{theory Fields} and @{theory
   301 Divides} define a large collection of classes describing common algebraic
   301 Divides} define a large collection of classes describing common algebraic
   302 structures from semigroups up to fields. Everything is done in terms of
   302 structures from semigroups up to fields. Everything is done in terms of
   303 overloaded operators:
   303 overloaded operators:
   304 
   304 
   305 \begin{supertabular}{@ {} l @ {~::~} l l @ {}}
   305 \begin{supertabular}{@ {} l @ {~::~} l l @ {}}