src/HOL/Code_Setup.thy
changeset 28346 b8390cd56b8f
parent 28290 4cc2b6046258
child 28400 89904cfd41c3
     1.1 --- a/src/HOL/Code_Setup.thy	Wed Sep 24 19:39:25 2008 +0200
     1.2 +++ b/src/HOL/Code_Setup.thy	Thu Sep 25 09:28:03 2008 +0200
     1.3 @@ -77,7 +77,10 @@
     1.4  text {* using built-in Haskell equality *}
     1.5  
     1.6  code_class eq
     1.7 -  (Haskell "Eq" where "op =" \<equiv> "(==)")
     1.8 +  (Haskell "Eq" where "eq_class.eq" \<equiv> "(==)")
     1.9 +
    1.10 +code_const "eq_class.eq"
    1.11 +  (Haskell infixl 4 "==")
    1.12  
    1.13  code_const "op ="
    1.14    (Haskell infixl 4 "==")