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/document/Nested.tex
changeset 48522 708278fc2dff
parent 48519 5deda0549f97 
--- a/doc-src/TutorialI/document/Nested.tex	Thu Jul 26 17:32:28 2012 +0200
+++ b/doc-src/TutorialI/document/Nested.tex	Thu Jul 26 18:55:42 2012 +0200
@@ -43,7 +43,7 @@
 would be something like
 \medskip
 
-\input{Datatype/document/unfoldnested.tex}
+\input{document/unfoldnested.tex}
 \medskip
 
 \noindent
isabelle