| changeset 40352 | 8fd36f8a5cb7 |
| parent 39745 | 3aa2bc9c5478 |
| child 40754 | e3d4f2522a5f |
--- 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: *}