src/Pure/axclass.ML
changeset 17703 6ec36bad47ea
parent 17496 26535df536ae
child 17756 d4a35f82fbb4
     1.1 --- a/src/Pure/axclass.ML	Thu Sep 29 00:58:55 2005 +0200
     1.2 +++ b/src/Pure/axclass.ML	Thu Sep 29 00:58:56 2005 +0200
     1.3 @@ -218,6 +218,7 @@
     1.4      (*store info*)
     1.5      val final_thy =
     1.6        axms_thy
     1.7 +      |> Theory.add_finals_i false [Const (Sign.const_of_class class, a_itselfT --> propT)]
     1.8        |> (#1 o PureThy.add_thms ((map #1 axms ~~ axioms) ~~ atts))
     1.9        |> Theory.restore_naming class_thy
    1.10        |> AxclassesData.map (Symtab.update (class, info));