src/HOL/Recdef.thy
changeset 6438 e55a1869ed38
parent 5123 97c1d5c7b701
child 7357 d0e16da40ea2
     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