*** empty log message ***
authornipkow
Thu Nov 01 13:44:44 2007 +0100 (2007-11-01)
changeset 252578faf184ba5b1
parent 25256 fe467fdf129a
child 25258 22d16596c306
*** empty log message ***
doc-src/TutorialI/Types/types.tex
doc-src/TutorialI/tutorial.tex
     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|(}
     2.1 --- a/doc-src/TutorialI/tutorial.tex	Wed Oct 31 15:10:34 2007 +0100
     2.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Nov 01 13:44:44 2007 +0100
     2.3 @@ -43,15 +43,15 @@
     2.4  
     2.5  \pagenumbering{roman}
     2.6  \setcounter{page}{5}
     2.7 -\vspace*{\fill}
     2.8 -\begin{center}
     2.9 -\LARGE In memoriam \\[1ex]
    2.10 -{\sc Annette Schumann}\\[1ex]
    2.11 -1959 -- 2001
    2.12 -\end{center}
    2.13 -\vspace*{\fill}
    2.14 -\vspace*{\fill}
    2.15 -\newpage
    2.16 +%\vspace*{\fill}
    2.17 +%\begin{center}
    2.18 +%\LARGE In memoriam \\[1ex]
    2.19 +%{\sc Annette Schumann}\\[1ex]
    2.20 +%1959 -- 2001
    2.21 +%\end{center}
    2.22 +%\vspace*{\fill}
    2.23 +%\vspace*{\fill}
    2.24 +%\newpage
    2.25  \include{preface}
    2.26  
    2.27  \tableofcontents