--- 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}