
diff -r 2c8c3b7003e5 -r 35c7e0df749f src/HOL/Nat.thy
--- a/src/HOL/Nat.thy	Mon Oct 04 21:44:07 1999 +0200
+++ b/src/HOL/Nat.thy	Mon Oct 04 21:44:28 1999 +0200
@@ -8,9 +8,6 @@
 
 Nat = NatDef + Inductive +
 
-setup
-  DatatypePackage.setup
-
 rep_datatype nat
   distinct Suc_not_Zero, Zero_not_Suc
   inject   Suc_Suc_eq




