# HG changeset patch
# User wenzelm
# Date 916140564 -3600
# Node ID 842b059e023f733bbfdda0196aab992e89496e62
# Parent  ede76e7af05756aef338b3fb6ebd2bee143c8d72
eliminated Attribute structure;

diff -r ede76e7af057 -r 842b059e023f src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Tue Jan 12 12:28:29 1999 +0100
+++ b/src/Pure/axclass.ML	Tue Jan 12 12:29:24 1999 +0100
@@ -225,7 +225,7 @@
       (map inclass super_classes @ map (int_axm o snd) axioms, inclass class);
   in
     thy
-    |> PureThy.add_axioms_i (map Attribute.none ((raw_class ^ "I", intro_axm) :: abs_axioms))
+    |> PureThy.add_axioms_i (map Thm.no_attributes ((raw_class ^ "I", intro_axm) :: abs_axioms))
   end;