--- 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|)}