wenzelm@5123: wenzelm@6438: Recdef = WF_Rel + wenzelm@6438: wenzelm@6438: setup RecdefPackage.setup wenzelm@6438: setup InductMethod.setup wenzelm@6438: wenzelm@6438: end