--- a/src/Pure/Isar/term_style.ML Thu Sep 15 17:16:55 2005 +0200
+++ b/src/Pure/Isar/term_style.ML Thu Sep 15 17:16:56 2005 +0200
@@ -40,12 +40,12 @@
(* accessors *)
fun the_style thy name =
- (case Symtab.curried_lookup (StyleData.get thy) name of
+ (case Symtab.lookup (StyleData.get thy) name of
NONE => error ("Unknown antiquote style: " ^ quote name)
| SOME (style, _) => style);
fun add_style name style thy =
- StyleData.map (Symtab.curried_update_new (name, (style, stamp ()))) thy
+ StyleData.map (Symtab.update_new (name, (style, stamp ()))) thy
handle Symtab.DUP _ => err_dup_styles [name];