1.1 --- a/doc-src/TutorialI/Makefile	Thu Jul 26 17:32:28 2012 +0200
     1.2 +++ b/doc-src/TutorialI/Makefile	Thu Jul 26 18:55:42 2012 +0200
     1.3 @@ -13,16 +13,15 @@
     1.4  NAME = tutorial
     1.5  FILES = tutorial.tex basics.tex fp.tex appendix.tex			\
     1.6  	Advanced/advanced.tex CTL/ctl.tex Inductive/inductive.tex	\
     1.7 -	Inductive/document/AB.tex Inductive/document/Advanced.tex	\
     1.8 -	Inductive/document/Even.tex Inductive/document/Mutual.tex	\
     1.9 -	Inductive/document/Star.tex Protocol/protocol.tex		\
    1.10 -	Protocol/document/Event.tex Protocol/document/Message.tex	\
    1.11 -	Protocol/document/Public.tex Protocol/document/NS_Public.tex	\
    1.12 -	Rules/rules.tex Sets/sets.tex Types/numerics.tex		\
    1.13 -	Types/types.tex Types/document/Overloading.tex \
    1.14 -	Types/document/Axioms.tex Documents/documents.tex Misc/document/appendix.tex ../iman.sty	\
    1.15 -	../ttbox.sty ../extra.sty ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty	\
    1.16 -	../pdfsetup.sty
    1.17 +	document/AB.tex document/Advanced.tex document/Even.tex		\
    1.18 +	document/Mutual.tex document/Star.tex Protocol/protocol.tex	\
    1.19 +	document/Event.tex document/Message.tex document/Public.tex	\
    1.20 +	document/NS_Public.tex Rules/rules.tex Sets/sets.tex		\
    1.21 +	Types/numerics.tex Types/types.tex document/Overloading.tex	\
    1.22 +	document/Axioms.tex Documents/documents.tex			\
    1.23 +	document/appendix.tex ../iman.sty ../ttbox.sty ../extra.sty	\
    1.24 +	../../lib/texinputs/isabelle.sty				\
    1.25 +	../../lib/texinputs/isabellesym.sty ../pdfsetup.sty
    1.26  
    1.27  dvi: $(NAME).dvi
    1.28