| changeset 12569 | e290dadee51c |
| parent 12489 | c92e38c3cbaa |
| child 12639 | 71605f976d50 |
--- a/doc-src/TutorialI/tutorial.tex Thu Dec 20 21:12:02 2001 +0100 +++ b/doc-src/TutorialI/tutorial.tex Thu Dec 20 21:13:22 2001 +0100 @@ -2,6 +2,7 @@ \usepackage{cl2emono-modified,isabelle,isabellesym} \usepackage{../proof,amsmath,amsfonts} \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment} +\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig %bug in marvosym!? \usepackage{../pdfsetup} %last package!