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/Advanced/document/Partial.tex
changeset 25258 22d16596c306
parent 19248 25bb0a883ac5 
--- a/doc-src/TutorialI/Advanced/document/Partial.tex	Thu Nov 01 13:44:44 2007 +0100
+++ b/doc-src/TutorialI/Advanced/document/Partial.tex	Thu Nov 01 20:20:19 2007 +0100
@@ -38,7 +38,7 @@
 
 We have already seen an instance of underdefinedness by means of
 non-exhaustive pattern matching: the definition of \isa{last} in
-\S\ref{sec:recdef-examples}. The same is allowed for \isacommand{primrec}%
+\S\ref{sec:fun}. The same is allowed for \isacommand{primrec}%
 \end{isamarkuptext}%
 \isamarkuptrue%
 \isacommand{consts}\isamarkupfalse%
isabelle