--- a/doc-src/TutorialI/tutorial.tex Sat Jan 05 01:18:54 2002 +0100
+++ b/doc-src/TutorialI/tutorial.tex Sat Jan 05 01:19:14 2002 +0100
@@ -1,7 +1,7 @@
\documentclass{article}
\usepackage{cl2emono-modified,isabelle,isabellesym}
\usepackage{../proof,amsmath,amsfonts}
-\usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment}
+\usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig %bug in marvosym!?
\usepackage{../pdfsetup}
%last package!