adapted args of IsarThy.have_theorems_i;

--- a/src/HOL/Tools/inductive_package.ML	Thu Jun 29 22:37:24 2000 +0200
+++ b/src/HOL/Tools/inductive_package.ML	Thu Jun 29 22:38:30 2000 +0200
@@ -506,7 +506,7 @@
             (mk_cases_i true elims (Simplifier.simpset_of thy)) cprops;
         in
           thy |> IsarThy.have_theorems_i
-            (((name, atts), map Thm.no_attributes thms), comment)
+            [(((name, atts), map Thm.no_attributes thms), comment)]
         end)
   end;