src/Pure/axclass.ML
changeset 35856 f81557a124d5
parent 35854 d452abc96459
child 35896 487b267433b1
     1.1 --- a/src/Pure/axclass.ML	Sun Mar 21 22:24:04 2010 +0100
     1.2 +++ b/src/Pure/axclass.ML	Mon Mar 22 00:48:56 2010 +0100
     1.3 @@ -521,7 +521,7 @@
     1.4      val names = name args;
     1.5    in
     1.6      thy
     1.7 -    |> PureThy.add_axioms (map (rpair []) (map Binding.name names ~~ specs))
     1.8 +    |> fold_map Drule.add_axiom (map Binding.name names ~~ specs)
     1.9      |-> fold add
    1.10    end;
    1.11