diff -r 2f4684e2ea95 -r 853abb4853cc doc-src/Codegen/Thy/Adaption.thy
--- 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")