author | haftmann |
Thu, 08 Jul 2010 16:19:23 +0200 | |
changeset 37742 | 0a3fa8fbcdc5 |
parent 37741 | d8e7f473c3a1 |
child 37743 | 3daaf23b9ab4 |
1.1 --- a/src/HOL/String.thy Thu Jul 08 16:17:44 2010 +0200 1.2 +++ b/src/HOL/String.thy Thu Jul 08 16:19:23 2010 +0200 1.3 @@ -219,4 +219,16 @@ 1.4 1.5 hide_type (open) literal 1.6 1.7 + 1.8 +text {* Code generator setup *} 1.9 + 1.10 +code_modulename SML 1.11 + String String 1.12 + 1.13 +code_modulename OCaml 1.14 + String String 1.15 + 1.16 +code_modulename Haskell 1.17 + String String 1.18 + 1.19 end 1.20 \ No newline at end of file