src/Pure/axclass.ML
changeset 17221 6cd180204582
parent 17057 0934ac31985f
child 17281 3b9ff0131ed1
     1.1 --- a/src/Pure/axclass.ML	Thu Sep 01 16:19:02 2005 +0200
     1.2 +++ b/src/Pure/axclass.ML	Thu Sep 01 18:48:50 2005 +0200
     1.3 @@ -153,7 +153,7 @@
     1.4  
     1.5  (* get and put data *)
     1.6  
     1.7 -fun lookup_axclass_info thy c = Symtab.lookup (AxclassesData.get thy, c);
     1.8 +val lookup_axclass_info = Symtab.curried_lookup o AxclassesData.get;
     1.9  
    1.10  fun get_axclass_info thy c =
    1.11    (case lookup_axclass_info thy c of
    1.12 @@ -161,7 +161,7 @@
    1.13    | SOME info => info);
    1.14  
    1.15  fun put_axclass_info c info thy =
    1.16 -  thy |> AxclassesData.put (Symtab.update ((c, info), AxclassesData.get thy));
    1.17 +  thy |> AxclassesData.put (Symtab.curried_update (c, info) (AxclassesData.get thy));
    1.18  
    1.19  
    1.20  (* class_axms *)