--- a/doc-src/Codegen/Thy/Adaption.thy Tue Mar 03 11:00:51 2009 +0100
+++ b/doc-src/Codegen/Thy/Adaption.thy Tue Mar 03 13:20:53 2009 +0100
@@ -323,7 +323,6 @@
instance %quote by default (simp add: eq_bar_def)
end %quote
-
code_type %quotett bar
(Haskell "Integer")