'HOL/recdef' theory data;
authorwenzelm
Fri Apr 16 14:49:06 1999 +0200 (1999-04-16)
changeset 6438e55a1869ed38
parent 6437 9bdfe07ba8e9
child 6439 7eea9f25dc49
'HOL/recdef' theory data;
induct method setup;
src/HOL/Recdef.thy
     1.1 --- a/src/HOL/Recdef.thy	Fri Apr 16 14:48:16 1999 +0200
     1.2 +++ b/src/HOL/Recdef.thy	Fri Apr 16 14:49:06 1999 +0200
     1.3 @@ -1,2 +1,7 @@
     1.4  
     1.5 -Recdef = WF_Rel
     1.6 +Recdef = WF_Rel +
     1.7 +
     1.8 +setup RecdefPackage.setup
     1.9 +setup InductMethod.setup
    1.10 +
    1.11 +end