src/HOL/Code_Setup.thy
changeset 25534 d0b74fdd6067
parent 24844 98c006a30218
child 25860 844ab7ace3db
     1.1 --- a/src/HOL/Code_Setup.thy	Wed Dec 05 14:15:39 2007 +0100
     1.2 +++ b/src/HOL/Code_Setup.thy	Wed Dec 05 14:15:45 2007 +0100
     1.3 @@ -91,12 +91,6 @@
     1.4    (OCaml "bool")
     1.5    (Haskell "Bool")
     1.6  
     1.7 -code_instance bool :: eq
     1.8 -  (Haskell -)
     1.9 -
    1.10 -code_const "op = \<Colon> bool \<Rightarrow> bool \<Rightarrow> bool"
    1.11 -  (Haskell infixl 4 "==")
    1.12 -
    1.13  code_const True and False and Not and "op &" and "op |" and If
    1.14    (SML "true" and "false" and "not"
    1.15      and infixl 1 "andalso" and infixl 0 "orelse"