--- a/src/Pure/Thy/present.ML Thu Sep 15 17:16:55 2005 +0200
+++ b/src/Pure/Thy/present.ML Thu Sep 15 17:16:56 2005 +0200
@@ -172,13 +172,13 @@
fun init_theory_info name info =
change_browser_info (fn (theories, files, tex_index, html_index, graph) =>
- (Symtab.curried_update (name, info) theories, files, tex_index, html_index, graph));
+ (Symtab.update (name, info) theories, files, tex_index, html_index, graph));
fun change_theory_info name f =
change_browser_info (fn (info as (theories, files, tex_index, html_index, graph)) =>
- (case Symtab.curried_lookup theories name of
+ (case Symtab.lookup theories name of
NONE => (warning ("Browser info: cannot access theory document " ^ quote name); info)
- | SOME info => (Symtab.curried_update (name, map_theory_info f info) theories, files,
+ | SOME info => (Symtab.update (name, map_theory_info f info) theories, files,
tex_index, html_index, graph)));