Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed DatatypePackage.setup;
authorwenzelm
Mon, 04 Oct 1999 21:44:28 +0200
changeset 7702 35c7e0df749f
parent 7701 2c8c3b7003e5
child 7703 6b3424e877bd
removed DatatypePackage.setup;
src/HOL/Nat.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle