src/Doc/Codegen/Adaptation.thy

   target language; this can also be accomplished using the @{command
   "code_printing"} command:
 \<close>
 
 code_printing %quotett
-  code_module "Errno" \<rightharpoonup> (Haskell) \<open>errno i = error ("Error number: " ++ show i)\<close>
+  code_module "Errno" \<rightharpoonup> (Haskell)
+    \<open>errno i = error ("Error number: " ++ show i)\<close>
 
 code_reserved %quotett Haskell Errno
 
 text \<open>
   \noindent Such named modules are then prepended to every