
diff -r 352f6f209775 -r 620647438780 doc-src/TutorialI/fp.tex
--- a/doc-src/TutorialI/fp.tex	Wed Dec 06 12:34:40 2000 +0100
+++ b/doc-src/TutorialI/fp.tex	Wed Dec 06 13:22:58 2000 +0100
@@ -244,7 +244,7 @@
 \subsection{Pairs}
 \input{Misc/document/pairs.tex}
 
-\subsection{Datatype \emph{\texttt{option}}}
+\subsection{Datatype {\tt\slshape option}}
 \label{sec:option}
 \input{Misc/document/Option2.tex}
 




