*** empty log message ***
authornipkow
Fri, 02 Jun 2000 15:19:18 +0200
changeset 9016 d61c76716984
parent 9015 8006e9009621
child 9017 ff259b415c4d
*** empty log message ***
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}