Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/TutorialI/Inductive/inductive.tex
changeset 10468 87dda999deca
parent 10371 4015fdd0bcf0
child 10520 bb9dfcc87951 
--- a/doc-src/TutorialI/Inductive/inductive.tex	Tue Nov 14 13:26:48 2000 +0100
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Tue Nov 14 17:02:36 2000 +0100
@@ -18,7 +18,7 @@
 \input{Inductive/document/AB}
 
 \section{Advanced inductive definitions}
-\input{Inductive/document/Advanced}
+\input{Inductive/Advanced}
 
 \index{inductive definition|)}
 \index{*inductive|)}
isabelle