equal
deleted
inserted
replaced
1 |
1 |
2 Recdef = WF_Rel + |
2 theory Recdef = WF_Rel |
|
3 files "Tools/recdef_package.ML" "Tools/induct_method.ML": |
3 |
4 |
4 setup RecdefPackage.setup |
5 setup RecdefPackage.setup |
5 setup InductMethod.setup |
6 setup InductMethod.setup |
6 |
7 |
7 end |
8 end |