doc-src/Codegen/Thy/Introduction.thy

--- a/doc-src/Codegen/Thy/Introduction.thy	Mon Apr 06 15:59:20 2009 +0200
+++ b/doc-src/Codegen/Thy/Introduction.thy	Tue Apr 07 08:52:43 2009 +0200
@@ -138,7 +138,7 @@
   into a functional program.  This is achieved by three major
   components which operate sequentially, i.e. the result of one is
   the input
-  of the next in the chain,  see diagram \ref{fig:arch}:
+  of the next in the chain,  see figure \ref{fig:arch}:
 
   \begin{itemize}