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}