mark inductive results as internal;

--- a/src/HOL/Tools/function_package/inductive_wrap.ML	Wed Oct 03 00:03:00 2007 +0200
+++ b/src/HOL/Tools/function_package/inductive_wrap.ML	Wed Oct 03 00:03:01 2007 +0200
@@ -42,7 +42,7 @@
       val ({intrs = intrs_gen, elims = [elim_gen], preds = [ Rdef ], induct, ...}, lthy) =
           InductivePackage.add_inductive_i
             {verbose = ! Toplevel.debug,
-              kind = Thm.theoremK,
+              kind = Thm.internalK,
               alt_name = "",
               coind = false,
               no_elim = false,