src/Pure/axclass.ML
changeset 16180 a51be5cbd81d
parent 16122 864fda4a4056
child 16333 490d77820631
     1.1 --- a/src/Pure/axclass.ML	Thu Jun 02 09:11:32 2005 +0200
     1.2 +++ b/src/Pure/axclass.ML	Thu Jun 02 09:11:34 2005 +0200
     1.3 @@ -230,7 +230,7 @@
     1.4      val final_thy =
     1.5        axms_thy
     1.6        |> (#1 o PureThy.add_thms ((map #1 axms ~~ axioms) ~~ atts))
     1.7 -      |> Theory.parent_path
     1.8 +      |> Theory.restore_naming class_thy
     1.9        |> (#1 o PureThy.add_thms [Thm.no_attributes (intro_name bclass, intro)])
    1.10        |> put_axclass_info class info;
    1.11    in (final_thy, {intro = intro, axioms = axioms}) end;