src/Pure/axclass.ML
changeset 29524 941ad06c7f9c
parent 28965 1de908189869
child 29579 cb520b766e00
     1.1 --- a/src/Pure/axclass.ML	Sat Jan 17 08:28:51 2009 +0100
     1.2 +++ b/src/Pure/axclass.ML	Sat Jan 17 08:29:19 2009 +0100
     1.3 @@ -295,7 +295,7 @@
     1.4    in
     1.5      thy
     1.6      |> Sign.primitive_classrel (c1, c2)
     1.7 -    |> put_classrel ((c1, c2), Drule.unconstrainTs th)
     1.8 +    |> put_classrel ((c1, c2), Thm.close_derivation (Drule.unconstrainTs th))
     1.9      |> perhaps complete_arities
    1.10    end;
    1.11