theory Recdef = WF_Rel files "Tools/recdef_package.ML" "Tools/induct_method.ML": setup RecdefPackage.setup setup InductMethod.setup end