src/HOL/Datatype.thy
changeset 28689 2947dc320178
parent 28562 4e74209f113e
child 29025 8c8859c0d734
     1.1 --- a/src/HOL/Datatype.thy	Fri Oct 24 17:48:42 2008 +0200
     1.2 +++ b/src/HOL/Datatype.thy	Fri Oct 24 17:51:35 2008 +0200
     1.3 @@ -695,13 +695,4 @@
     1.4  code_reserved OCaml
     1.5    option None Some
     1.6  
     1.7 -code_modulename SML
     1.8 -  Datatype Nat
     1.9 -
    1.10 -code_modulename OCaml
    1.11 -  Datatype Nat
    1.12 -
    1.13 -code_modulename Haskell
    1.14 -  Datatype Nat
    1.15 -
    1.16  end