src/Tools/Code/code_thingol.ML
changeset 33420 17b7095ad463
parent 33187 616be6d7997e
child 33943 f31d645b4e00
child 33955 fff6f11b1f09
child 33990 febc68c02b63
     1.1 --- a/src/Tools/Code/code_thingol.ML	Mon Nov 02 18:49:53 2009 -0800
     1.2 +++ b/src/Tools/Code/code_thingol.ML	Tue Nov 03 17:06:08 2009 +0100
     1.3 @@ -261,7 +261,8 @@
     1.4      | NONE => (case Code.get_datatype_of_constr thy c
     1.5         of SOME dtco => Codegen.thyname_of_type thy dtco
     1.6          | NONE => Codegen.thyname_of_const thy c);
     1.7 -  fun purify_base "op &" = "and"
     1.8 +  fun purify_base "==>" = "follows"
     1.9 +    | purify_base "op &" = "and"
    1.10      | purify_base "op |" = "or"
    1.11      | purify_base "op -->" = "implies"
    1.12      | purify_base "op :" = "member"