# HG changeset patch
# User wenzelm
# Date 924266946 -7200
# Node ID e55a1869ed381c3da0aa584e6079993e83860182
# Parent  9bdfe07ba8e98e26e4c225e7671681ef745735f0
'HOL/recdef' theory data;
induct method setup;

diff -r 9bdfe07ba8e9 -r e55a1869ed38 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