src/HOL/Inductive.thy

--- a/src/HOL/Inductive.thy	Fri Apr 16 14:43:26 1999 +0200
+++ b/src/HOL/Inductive.thy	Fri Apr 16 14:48:16 1999 +0200
@@ -1,2 +1,6 @@
 
-Inductive = Gfp + Prod + Sum
+Inductive = Gfp + Prod + Sum +
+
+setup InductivePackage.setup
+
+end