
diff -r 352f6f209775 -r 620647438780 doc-src/TutorialI/Misc/natsum.thy
--- a/doc-src/TutorialI/Misc/natsum.thy	Wed Dec 06 12:34:40 2000 +0100
+++ b/doc-src/TutorialI/Misc/natsum.thy	Wed Dec 06 13:22:58 2000 +0100
@@ -32,7 +32,7 @@
 Isabelle does not prove this completely automatically. Note that @{term 1}
 and @{term 2} are available as abbreviations for the corresponding
 @{term Suc}-expressions. If you need the full set of numerals,
-see~\S\ref{nat-numerals}.
+see~\S\ref{sec:numerals}.
 
 \begin{warn}
   The constant \ttindexbold{0} and the operations




