src/Pure/axclass.ML
changeset 17412 e26cb20ef0cc
parent 17339 ab97ccef124a
child 17496 26535df536ae
     1.1 --- a/src/Pure/axclass.ML	Thu Sep 15 17:16:55 2005 +0200
     1.2 +++ b/src/Pure/axclass.ML	Thu Sep 15 17:16:56 2005 +0200
     1.3 @@ -148,7 +148,7 @@
     1.4  
     1.5  (* get and put data *)
     1.6  
     1.7 -val lookup_info = Symtab.curried_lookup o AxclassesData.get;
     1.8 +val lookup_info = Symtab.lookup o AxclassesData.get;
     1.9  
    1.10  fun get_info thy c =
    1.11    (case lookup_info thy c of
    1.12 @@ -220,7 +220,7 @@
    1.13        axms_thy
    1.14        |> (#1 o PureThy.add_thms ((map #1 axms ~~ axioms) ~~ atts))
    1.15        |> Theory.restore_naming class_thy
    1.16 -      |> AxclassesData.map (Symtab.curried_update (class, info));
    1.17 +      |> AxclassesData.map (Symtab.update (class, info));
    1.18    in (final_thy, {intro = intro, axioms = axioms}) end;
    1.19  
    1.20  in