# HG changeset patch
# User nipkow
# Date 959951958 -7200
# Node ID d61c7671698435686427bb617687dd678091b58d
# Parent  8006e900962120630c2ab1340edf8acbfdeb34c7
*** empty log message ***

diff -r 8006e9009621 -r d61c76716984 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Fri Jun 02 12:44:04 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Fri Jun 02 15:19:18 2000 +0200
@@ -1,4 +1,3 @@
-
 \documentclass[11pt,a4paper]{report}
 \usepackage{isabelle,isabellesym}
 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}