--- 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