doc-src/TutorialI/Types/document/Axioms.tex
changeset 10654 458068404143
parent 10645 175ccbd5415a
child 10668 3b84288e60b7
     1.1 --- a/doc-src/TutorialI/Types/document/Axioms.tex	Wed Dec 13 09:32:55 2000 +0100
     1.2 +++ b/doc-src/TutorialI/Types/document/Axioms.tex	Wed Dec 13 09:39:53 2000 +0100
     1.3 @@ -118,7 +118,7 @@
     1.4  Linear orders are an example of subclassing by construction, which is the most
     1.5  common case. It is also possible to prove additional subclass relationships
     1.6  later on, i.e.\ subclassing by proof. This is the topic of the following
     1.7 -section.%
     1.8 +paragraph.%
     1.9  \end{isamarkuptext}%
    1.10  %
    1.11  \isamarkupsubsubsection{Strict orders%