--- a/src/HOL/Datatype.thy Fri Oct 24 17:48:42 2008 +0200
+++ b/src/HOL/Datatype.thy Fri Oct 24 17:51:35 2008 +0200
@@ -695,13 +695,4 @@
code_reserved OCaml
option None Some
-code_modulename SML
- Datatype Nat
-
-code_modulename OCaml
- Datatype Nat
-
-code_modulename Haskell
- Datatype Nat
-
end