doc-src/TutorialI/Types/types.tex
changeset 25257 8faf184ba5b1
parent 14400 6069098854b9
child 31678 752f23a37240
     1.1 --- a/doc-src/TutorialI/Types/types.tex	Wed Oct 31 15:10:34 2007 +0100
     1.2 +++ b/doc-src/TutorialI/Types/types.tex	Thu Nov 01 13:44:44 2007 +0100
     1.3 @@ -43,6 +43,14 @@
     1.4  axioms of $C$ are also provable in $D$. We introduce these concepts
     1.5  by means of a running example, ordering relations.
     1.6  
     1.7 +\begin{warn}
     1.8 +The material in this section describes a low-level approach to type classes.
     1.9 +It is recommended to use the new \isacommand{class} command instead.
    1.10 +For details see the appropriate tutorial~\cite{isabelle-classes} and the
    1.11 +related article~\cite{Haftmann-Wenzel:2006:classes}.
    1.12 +\end{warn}
    1.13 +
    1.14 +
    1.15  \subsection{Overloading}
    1.16  \label{sec:overloading}
    1.17  \index{overloading|(}