# HG changeset patch
# User wenzelm
# Date 1191162037 -7200
# Node ID 4f86d338411119e83f83a3b88fbaef233dcb19e2
# Parent  bc31c318e673caba3849c6630e6cc8e4195a6908
Markup.internalK;

diff -r bc31c318e673 -r 4f86d3384111 src/Pure/more_thm.ML
--- 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;