# HG changeset patch
# User wenzelm
# Date 1117696294 -7200
# Node ID a51be5cbd81d382db2c1a42a7ace6fb487136231
# Parent  fa7e70be26b0a84abc4cf7c2cfd00badbdd32ff7
Theory.restore_naming;

diff -r fa7e70be26b0 -r a51be5cbd81d src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Thu Jun 02 09:11:32 2005 +0200
+++ b/src/Pure/axclass.ML	Thu Jun 02 09:11:34 2005 +0200
@@ -230,7 +230,7 @@
     val final_thy =
       axms_thy
       |> (#1 o PureThy.add_thms ((map #1 axms ~~ axioms) ~~ atts))
-      |> Theory.parent_path
+      |> Theory.restore_naming class_thy
       |> (#1 o PureThy.add_thms [Thm.no_attributes (intro_name bclass, intro)])
       |> put_axclass_info class info;
   in (final_thy, {intro = intro, axioms = axioms}) end;