src/HOL/Inductive.thy
changeset 6437 9bdfe07ba8e9
parent 5105 0ff5bec04d02
child 7357 d0e16da40ea2
     1.1 --- a/src/HOL/Inductive.thy	Fri Apr 16 14:43:26 1999 +0200
     1.2 +++ b/src/HOL/Inductive.thy	Fri Apr 16 14:48:16 1999 +0200
     1.3 @@ -1,2 +1,6 @@
     1.4  
     1.5 -Inductive = Gfp + Prod + Sum
     1.6 +Inductive = Gfp + Prod + Sum +
     1.7 +
     1.8 +setup InductivePackage.setup
     1.9 +
    1.10 +end