--- a/doc-src/TutorialI/Types/types.tex Wed Oct 31 15:10:34 2007 +0100
+++ b/doc-src/TutorialI/Types/types.tex Thu Nov 01 13:44:44 2007 +0100
@@ -43,6 +43,14 @@
axioms of $C$ are also provable in $D$. We introduce these concepts
by means of a running example, ordering relations.
+\begin{warn}
+The material in this section describes a low-level approach to type classes.
+It is recommended to use the new \isacommand{class} command instead.
+For details see the appropriate tutorial~\cite{isabelle-classes} and the
+related article~\cite{Haftmann-Wenzel:2006:classes}.
+\end{warn}
+
+
\subsection{Overloading}
\label{sec:overloading}
\index{overloading|(}
--- a/doc-src/TutorialI/tutorial.tex Wed Oct 31 15:10:34 2007 +0100
+++ b/doc-src/TutorialI/tutorial.tex Thu Nov 01 13:44:44 2007 +0100
@@ -43,15 +43,15 @@
\pagenumbering{roman}
\setcounter{page}{5}
-\vspace*{\fill}
-\begin{center}
-\LARGE In memoriam \\[1ex]
-{\sc Annette Schumann}\\[1ex]
-1959 -- 2001
-\end{center}
-\vspace*{\fill}
-\vspace*{\fill}
-\newpage
+%\vspace*{\fill}
+%\begin{center}
+%\LARGE In memoriam \\[1ex]
+%{\sc Annette Schumann}\\[1ex]
+%1959 -- 2001
+%\end{center}
+%\vspace*{\fill}
+%\vspace*{\fill}
+%\newpage
\include{preface}
\tableofcontents