diff -r 7b6e72a1b7dd -r 3b6826b3ed37 src/Pure/Thy/term_style.ML
--- a/src/Pure/Thy/term_style.ML	Sun Mar 20 22:26:43 2011 +0100
+++ b/src/Pure/Thy/term_style.ML	Sun Mar 20 22:47:08 2011 +0100
@@ -19,7 +19,7 @@
 fun err_dup_style name =
   error ("Duplicate declaration of antiquote style: " ^ quote name);
 
-structure StyleData = Theory_Data
+structure Styles = Theory_Data
 (
   type T = ((Proof.context -> term -> term) parser * stamp) Symtab.table;
   val empty = Symtab.empty;
@@ -32,12 +32,12 @@
 (* accessors *)
 
 fun the_style thy name =
-  (case Symtab.lookup (StyleData.get thy) name of
+  (case Symtab.lookup (Styles.get thy) name of
     NONE => error ("Unknown antiquote style: " ^ quote name)
   | SOME (style, _) => style);
 
 fun setup name style thy =
-  StyleData.map (Symtab.update_new (name, (style, stamp ()))) thy
+  Styles.map (Symtab.update_new (name, (style, stamp ()))) thy
     handle Symtab.DUP _ => err_dup_style name;