src/Pure/more_thm.ML

   val has_name_hint: thm -> bool
   val get_name_hint: thm -> string
   val put_name_hint: string -> thm -> thm
   val definitionK: string
   val theoremK: string
-  val generatedK : string
   val lemmaK: string
   val corollaryK: string
   val get_kind: thm -> string
   val kind_rule: string -> thm -> thm
   val kind: string -> attribute

 
 (* theorem kinds *)
 
 val definitionK = "definition";
 val theoremK = "theorem";
-val generatedK = "generatedK"
 val lemmaK = "lemma";
 val corollaryK = "corollary";
 
 fun get_kind thm = the_default "" (Properties.get (Thm.get_tags thm) Markup.kindN);