# HG changeset patch
# User wenzelm
# Date 1008879202 -3600
# Node ID e290dadee51c5f8d56a8b8df7e3d8d7545a0f167
# Parent  a46009d886873b9532ced40a67cebe9926e0dbda
\usepackage{marvosym};

diff -r a46009d88687 -r e290dadee51c doc-src/TutorialI/tutorial.tex
--- 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!