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 48522 708278fc2dff
parent 25330 15bf0f47a87d 
--- a/doc-src/TutorialI/Inductive/inductive.tex	Thu Jul 26 17:32:28 2012 +0200
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Thu Jul 26 18:55:42 2012 +0200
@@ -18,14 +18,14 @@
 See {\S}\ref{sec:ind-predicates}.
 \end{warn}
 
-\input{Inductive/document/Even}
-\input{Inductive/document/Mutual}
-\input{Inductive/document/Star}
+\input{document/Even}
+\input{document/Mutual}
+\input{document/Star}
 
 \section{Advanced Inductive Definitions}
 \label{sec:adv-ind-def}
-\input{Inductive/document/Advanced}
+\input{document/Advanced}
 
-\input{Inductive/document/AB}
+\input{document/AB}
 
 \index{inductive definitions|)}
isabelle