diff -r 090dac52cfd7 -r 8fd36f8a5cb7 doc-src/Codegen/Thy/Refinement.thy
--- a/doc-src/Codegen/Thy/Refinement.thy	Wed Nov 03 14:14:05 2010 +0100
+++ b/doc-src/Codegen/Thy/Refinement.thy	Wed Nov 03 14:14:06 2010 +0100
@@ -17,7 +17,7 @@
 
 text {*
   Program refinement works by choosing appropriate code equations
-  explicitly (cf.~\label{sec:equations}); as example, we use Fibonacci
+  explicitly (cf.~\secref{sec:equations}); as example, we use Fibonacci
   numbers:
 *}