1.1 --- a/doc-src/TutorialI/tutorial.tex	Fri Jun 02 12:44:04 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Fri Jun 02 15:19:18 2000 +0200
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  \documentclass[11pt,a4paper]{report}
     1.6  \usepackage{isabelle,isabellesym}
     1.7  \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}