# HG changeset patch
# User nipkow
# Date 1193921084 -3600
# Node ID 8faf184ba5b15a93de473885a551e5e03fcfaa16
# Parent  fe467fdf129af16ebdea3bb7e209ee5670b60476
*** empty log message ***

diff -r fe467fdf129a -r 8faf184ba5b1 doc-src/TutorialI/Types/types.tex
--- 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|(}
diff -r fe467fdf129a -r 8faf184ba5b1 doc-src/TutorialI/tutorial.tex
--- 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