src/HOL/Recdef.thy

--- a/src/HOL/Recdef.thy	Fri Apr 16 14:48:16 1999 +0200
+++ b/src/HOL/Recdef.thy	Fri Apr 16 14:49:06 1999 +0200
@@ -1,2 +1,7 @@
 
-Recdef = WF_Rel
+Recdef = WF_Rel +
+
+setup RecdefPackage.setup
+setup InductMethod.setup
+
+end