Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replaced "hand-made" files by generated files in Inductive/document.
authorberghofe
Thu, 19 Jul 2007 15:32:58 +0200
changeset 23845 0b695c401d4d
parent 23844 7da8f260d920
child 23846 bfedd1a024fc
Replaced "hand-made" files by generated files in Inductive/document.
doc-src/TutorialI/Makefile file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/Makefile	Thu Jul 19 15:31:30 2007 +0200
+++ b/doc-src/TutorialI/Makefile	Thu Jul 19 15:32:58 2007 +0200
@@ -17,8 +17,9 @@
 FILES = tutorial.tex basics.tex fp.tex appendix.tex \
 	Advanced/advanced.tex \
 	CTL/ctl.tex \
-	Inductive/inductive.tex Inductive/even-example.tex \
-	Inductive/advanced-examples.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 \
 	Rules/rules.tex Sets/sets.tex \
 	Types/numerics.tex Types/types.tex \
isabelle