changeset 24249 | 1f60b45c5f97 |
parent 24195 | 7d1a16c77f7c |
child 24348 | c708ea5b109a |
1.1 --- a/src/HOL/ex/Codegenerator.thy Mon Aug 13 21:22:36 2007 +0200 1.2 +++ b/src/HOL/ex/Codegenerator.thy Mon Aug 13 21:22:37 2007 +0200 1.3 @@ -8,7 +8,7 @@ 1.4 imports ExecutableContent 1.5 begin 1.6 1.7 -code_gen "*" in SML to CodegenTest 1.8 +code_gen "*" in SML module_name CodegenTest 1.9 in OCaml file - 1.10 in Haskell file - 1.11