1
2 Recdef = WF_Rel
2 Recdef = WF_Rel +
3
4 setup RecdefPackage.setup
5 setup InductMethod.setup
6
7 end