equal
deleted
inserted
replaced
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 @ {}} |