| author | haftmann |
| Thu, 10 Feb 2011 18:44:39 +0100 | |
| changeset 41751 | 73389fcafb66 |
| parent 41749 | 1e3a8807ebd4 (current diff) |
| parent 41750 | 2b4f7a29126f (diff) |
| child 41752 | 949eaf045e00 |
| child 41753 | dbd00d8a4784 |
--- a/src/HOL/String.thy Thu Feb 10 17:18:52 2011 +0100 +++ b/src/HOL/String.thy Thu Feb 10 18:44:39 2011 +0100 @@ -240,16 +240,4 @@ hide_type (open) literal - -text {* Code generator setup *} - -code_modulename SML - String String - -code_modulename OCaml - String String - -code_modulename Haskell - String String - end