# HG changeset patch
# User haftmann
# Date 1224863495 -7200
# Node ID 2947dc320178578291aef9fbb9b95a99d20af9b3
# Parent  1a9fabb515cd3f9df5043dd3a32c0a022c78977d
more clever module names for code generation

diff -r 1a9fabb515cd -r 2947dc320178 src/HOL/Datatype.thy
--- 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