doc-src/TutorialI/tutorial.tex
changeset 12639 71605f976d50
parent 12569 e290dadee51c
child 12669 c1436070c21e
     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!