src/Pure/more_thm.ML

--- a/src/Pure/more_thm.ML	Fri Nov 13 15:48:52 2009 +0100
+++ b/src/Pure/more_thm.ML	Fri Nov 13 17:25:09 2009 +0100
@@ -86,7 +86,6 @@
   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
@@ -413,7 +412,6 @@
 
 val definitionK = "definition";
 val theoremK = "theorem";
-val generatedK = "generatedK"
 val lemmaK = "lemma";
 val corollaryK = "corollary";