doc-src/TutorialI/Makefile
changeset 31676 4ee7a8af1903
parent 26913 67040326ab7a
child 42511 bf89455ccf9d
     1.1 --- a/doc-src/TutorialI/Makefile	Wed Jun 17 10:07:15 2009 +0200
     1.2 +++ b/doc-src/TutorialI/Makefile	Wed Jun 17 10:07:22 2009 +0200
     1.3 @@ -22,7 +22,8 @@
     1.4  	Protocol/document/Event.tex Protocol/document/Message.tex	\
     1.5  	Protocol/document/Public.tex Protocol/document/NS_Public.tex	\
     1.6  	Rules/rules.tex Sets/sets.tex Types/numerics.tex		\
     1.7 -	Types/types.tex Documents/documents.tex ../iman.sty		\
     1.8 +	Types/types.tex Types/document/Overloading.tex \
     1.9 +	Types/document/Axioms.tex Documents/documents.tex Misc/document/appendix.tex ../iman.sty	\
    1.10  	../ttbox.sty ../extra.sty ../isabelle.sty ../isabellesym.sty	\
    1.11  	../pdfsetup.sty
    1.12