src/Pure/more_thm.ML
changeset 24775 4f86d3384111
parent 24048 a12b4faff474
child 24948 c12c16a680a0
equal deleted inserted replaced
24774:bc31c318e673 24775:4f86d3384111
   179 val assumptionK = "assumption";
   179 val assumptionK = "assumption";
   180 val definitionK = "definition";
   180 val definitionK = "definition";
   181 val theoremK = "theorem";
   181 val theoremK = "theorem";
   182 val lemmaK = "lemma";
   182 val lemmaK = "lemma";
   183 val corollaryK = "corollary";
   183 val corollaryK = "corollary";
   184 val internalK = "internal";
   184 val internalK = Markup.internalK;
   185 
   185 
   186 
   186 
   187 
   187 
   188 (** attributes **)
   188 (** attributes **)
   189 
   189