# HG changeset patch
# User wenzelm
# Date 1119462089 -7200
# Node ID d539d47cce6979935d92226066265810c40a5d7c
# Parent  e3d61eff7c12c08e8281ca8970beffd2f9e2c3d4
renamed data kind;

diff -r e3d61eff7c12 -r d539d47cce69 src/Pure/Isar/term_style.ML
--- a/src/Pure/Isar/term_style.ML	Wed Jun 22 19:41:28 2005 +0200
+++ b/src/Pure/Isar/term_style.ML	Wed Jun 22 19:41:29 2005 +0200
@@ -22,7 +22,7 @@
 
 structure StyleData = TheoryDataFun
 (struct
-  val name = "Isar/style";
+  val name = "Isar/antiquote_style";
   type T = ((Proof.context -> term -> term) * stamp) Symtab.table;
   val empty = Symtab.empty;
   val copy = I;