# HG changeset patch
# User wenzelm
# Date 1010189954 -3600
# Node ID 71605f976d500964cf111b2b6d5f8840c68e0e30
# Parent  812ce0d9fc85449b43e39ba1df23bd84a18675dd
use wasysym package;

diff -r 812ce0d9fc85 -r 71605f976d50 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Sat Jan 05 01:18:54 2002 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Sat Jan 05 01:19:14 2002 +0100
@@ -1,7 +1,7 @@
 \documentclass{article}
 \usepackage{cl2emono-modified,isabelle,isabellesym}
 \usepackage{../proof,amsmath,amsfonts}
-\usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment}
+\usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
 \let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig  %bug in marvosym!?
 \usepackage{../pdfsetup}   
 %last package!