pretty name for ==>
authorhaftmann
Tue Nov 03 17:06:08 2009 +0100 (2009-11-03)
changeset 3342017b7095ad463
parent 33402 d9a25a87da4a
child 33421 3789fe962a08
pretty name for ==>
src/Tools/Code/code_thingol.ML
     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"