doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy

   for the class @{class eq} (by command @{command code_class}) and its operation
   @{const HOL.eq}
 *}
 
 code_class %quotett eq
-  (Haskell "Eq" where "HOL.eq" \<equiv> "(==)")
+  (Haskell "Eq")
 
 code_const %quotett "op ="
   (Haskell infixl 4 "==")
 
 text {*