# HG changeset patch
# User wenzelm
# Date 876400784 -7200
# Node ID 6633694439c01ae14461cb5ecee90f6d2c649185
# Parent  8489375c6198684e9857ed7d9760cae00c9914e9
fixed axiom names;

diff -r 8489375c6198 -r 6633694439c0 src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Wed Oct 08 12:15:59 1997 +0200
+++ b/src/Pure/axclass.ML	Thu Oct 09 14:39:44 1997 +0200
@@ -217,7 +217,7 @@
     val intro_axm = Logic.list_implies
       (map inclass super_classes @ map (int_axm o snd) axioms, inclass class);
   in
-    Theory.add_axioms_i ((class ^ "I", intro_axm) :: abs_axioms) thy
+    Theory.add_axioms_i ((raw_class ^ "I", intro_axm) :: abs_axioms) thy
   end;