--- a/src/Pure/more_thm.ML Sun Sep 30 16:20:35 2007 +0200
+++ b/src/Pure/more_thm.ML Sun Sep 30 16:20:37 2007 +0200
@@ -181,7 +181,7 @@
val theoremK = "theorem";
val lemmaK = "lemma";
val corollaryK = "corollary";
-val internalK = "internal";
+val internalK = Markup.internalK;