src/HOL/ex/Codegenerator.thy

   "Code_Generator.eq :: ('a\<Colon>eq) list \<Rightarrow> 'a list \<Rightarrow> bool"
   "Code_Generator.eq :: mut1 \<Rightarrow> mut1 \<Rightarrow> bool"
   "Code_Generator.eq :: mut2 \<Rightarrow> mut2 \<Rightarrow> bool"
   "Code_Generator.eq :: ('a\<Colon>eq) point_scheme \<Rightarrow> 'a point_scheme \<Rightarrow> bool"
 
-code_gen (SML *)
-code_gen (Haskell -)
+code_gen (SML *) (Haskell -)
 
 end