diff -r 0265353e4def -r 67040326ab7a doc-src/TutorialI/Makefile
--- a/doc-src/TutorialI/Makefile	Thu May 15 20:02:44 2008 +0200
+++ b/doc-src/TutorialI/Makefile	Thu May 15 20:14:10 2008 +0200
@@ -14,20 +14,17 @@
 SEDINDEX = ./isa-index
 
 NAME = tutorial
-FILES = tutorial.tex basics.tex fp.tex appendix.tex \
-	Advanced/advanced.tex \
-	CTL/ctl.tex \
-	Inductive/inductive.tex Inductive/document/AB.tex \
-	Inductive/document/Advanced.tex Inductive/document/Even.tex \
-	Inductive/document/Mutual.tex Inductive/document/Star.tex \
-	Protocol/protocol.tex Protocol/document/Event.tex \
-	Protocol/document/Message.tex Protocol/document/Public.tex \
-	Protocol/document/NS_Public.tex \
-	Rules/rules.tex Sets/sets.tex \
-	Types/numerics.tex Types/types.tex \
-	Documents/documents.tex \
-	../iman.sty ../ttbox.sty ../extra.sty \
-	isabelle.sty isabellesym.sty ../pdfsetup.sty
+FILES = tutorial.tex basics.tex fp.tex appendix.tex			\
+	Advanced/advanced.tex CTL/ctl.tex Inductive/inductive.tex	\
+	Inductive/document/AB.tex Inductive/document/Advanced.tex	\
+	Inductive/document/Even.tex Inductive/document/Mutual.tex	\
+	Inductive/document/Star.tex Protocol/protocol.tex		\
+	Protocol/document/Event.tex Protocol/document/Message.tex	\
+	Protocol/document/Public.tex Protocol/document/NS_Public.tex	\
+	Rules/rules.tex Sets/sets.tex Types/numerics.tex		\
+	Types/types.tex Documents/documents.tex ../iman.sty		\
+	../ttbox.sty ../extra.sty ../isabelle.sty ../isabellesym.sty	\
+	../pdfsetup.sty
 
 dvi: $(NAME).dvi