author | wenzelm |
Thu, 20 Dec 2001 21:13:22 +0100 | |
changeset 12569 | e290dadee51c |
parent 12568 | a46009d88687 |
child 12570 | 3bd2372e9bed |
1.1 --- a/doc-src/TutorialI/tutorial.tex Thu Dec 20 21:12:02 2001 +0100 1.2 +++ b/doc-src/TutorialI/tutorial.tex Thu Dec 20 21:13:22 2001 +0100 1.3 @@ -2,6 +2,7 @@ 1.4 \usepackage{cl2emono-modified,isabelle,isabellesym} 1.5 \usepackage{../proof,amsmath,amsfonts} 1.6 \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment} 1.7 +\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig %bug in marvosym!? 1.8 \usepackage{../pdfsetup} 1.9 %last package! 1.10