src/HOL/ex/Codegenerator.thy
changeset 21545 54cc492d80a9
parent 21511 16c62deb1adf
child 21877 e871f57b1adb
     1.1 --- a/src/HOL/ex/Codegenerator.thy	Mon Nov 27 12:12:18 2006 +0100
     1.2 +++ b/src/HOL/ex/Codegenerator.thy	Mon Nov 27 13:42:30 2006 +0100
     1.3 @@ -188,6 +188,6 @@
     1.4    "op = :: mut2 \<Rightarrow> mut2 \<Rightarrow> bool"
     1.5    "op = :: ('a\<Colon>eq) point_scheme \<Rightarrow> 'a point_scheme \<Rightarrow> bool"
     1.6  
     1.7 -code_gen (SML *) (Haskell -)
     1.8 +code_gen (SML #) (Haskell -)
     1.9  
    1.10  end
    1.11 \ No newline at end of file