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.
the section command will belong to the new file
authorpaulson
Fri, 03 Nov 2000 10:26:23 +0100
changeset 10371 4015fdd0bcf0
parent 10370 99bd3e902979
child 10372 d1bacec57f5e
the section command will belong to the new file
doc-src/TutorialI/Inductive/inductive.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/Inductive/inductive.tex	Fri Nov 03 10:24:33 2000 +0100
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Fri Nov 03 10:26:23 2000 +0100
@@ -17,7 +17,8 @@
 \input{Inductive/document/Star}
 \input{Inductive/document/AB}
 
+\section{Advanced inductive definitions}
+\input{Inductive/document/Advanced}
+
 \index{inductive definition|)}
 \index{*inductive|)}
-
-\section{Advanced inductive definitions}
isabelle