doc-src/TutorialI/Types/types.tex
changeset 10328 bf33cbd76c05
parent 10305 adff80268127
child 10329 a9898d89a634
--- a/doc-src/TutorialI/Types/types.tex	Wed Oct 25 17:44:59 2000 +0200
+++ b/doc-src/TutorialI/Types/types.tex	Wed Oct 25 18:24:33 2000 +0200
@@ -42,10 +42,7 @@
 
 \index{overloading|)}
 
-Finally we should remind our readers that \isa{Main} contains a much more
-developed theory of orderings phrased in terms of the usual $\leq$ and
-\isa{<}. It is recommended that, if possible, you base your own
-ordering relations on this theory.
+\input{Types/document/Axioms}
 
 \index{axiomatic type class|)}
 \index{*axclass|)}