--- a/doc-src/Codegen/Thy/Adaption.thy Mon Apr 06 15:59:20 2009 +0200
+++ b/doc-src/Codegen/Thy/Adaption.thy Tue Apr 07 08:52:43 2009 +0200
@@ -55,7 +55,7 @@
subsection {* The adaption principle *}
text {*
- The following figure illustrates what \qt{adaption} is conceptually
+ Figure \ref{fig:adaption} illustrates what \qt{adaption} is conceptually
supposed to be:
\begin{figure}[here]
@@ -287,8 +287,9 @@
instance %quote by default (simp add: eq_bar_def)
-end %quote
-code_type %quotett bar
+end %quote (*<*)
+
+(*>*) code_type %quotett bar
(Haskell "Integer")
text {*