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