src/HOL/ex/Codegenerator.thy
changeset 23811 b18557301bf9
parent 23266 50f0a4f12ed3
child 24195 7d1a16c77f7c
     1.1 --- a/src/HOL/ex/Codegenerator.thy	Mon Jul 16 09:29:03 2007 +0200
     1.2 +++ b/src/HOL/ex/Codegenerator.thy	Mon Jul 16 09:29:04 2007 +0200
     1.3 @@ -8,7 +8,11 @@
     1.4  imports ExecutableContent
     1.5  begin
     1.6  
     1.7 -code_gen "*" in SML in OCaml file - in OCaml file -
     1.8 -code_gen in SML in OCaml file - in OCaml file -
     1.9 +code_gen "*" in SML to CodegenTest
    1.10 +  in OCaml file -
    1.11 +  in Haskell file -
    1.12 +code_gen in SML to CodegenTest
    1.13 +  in OCaml file -
    1.14 +  in Haskell file -
    1.15  
    1.16  end