src/HOL/Nat.thy
changeset 7702 35c7e0df749f
parent 5714 b4f2e281a907
child 9436 62bb04ab4b01
     1.1 --- a/src/HOL/Nat.thy	Mon Oct 04 21:44:07 1999 +0200
     1.2 +++ b/src/HOL/Nat.thy	Mon Oct 04 21:44:28 1999 +0200
     1.3 @@ -8,9 +8,6 @@
     1.4  
     1.5  Nat = NatDef + Inductive +
     1.6  
     1.7 -setup
     1.8 -  DatatypePackage.setup
     1.9 -
    1.10  rep_datatype nat
    1.11    distinct Suc_not_Zero, Zero_not_Suc
    1.12    inject   Suc_Suc_eq