--- a/src/Pure/axclass.ML Thu Sep 01 16:19:02 2005 +0200
+++ b/src/Pure/axclass.ML Thu Sep 01 18:48:50 2005 +0200
@@ -153,7 +153,7 @@
(* get and put data *)
-fun lookup_axclass_info thy c = Symtab.lookup (AxclassesData.get thy, c);
+val lookup_axclass_info = Symtab.curried_lookup o AxclassesData.get;
fun get_axclass_info thy c =
(case lookup_axclass_info thy c of
@@ -161,7 +161,7 @@
| SOME info => info);
fun put_axclass_info c info thy =
- thy |> AxclassesData.put (Symtab.update ((c, info), AxclassesData.get thy));
+ thy |> AxclassesData.put (Symtab.curried_update (c, info) (AxclassesData.get thy));
(* class_axms *)