class axiomatization: finals;

--- a/src/Pure/axclass.ML	Sat May 20 23:36:59 2006 +0200
+++ b/src/Pure/axclass.ML	Sat May 20 23:37:00 2006 +0200
@@ -358,6 +358,7 @@
     thy
     |> Sign.primitive_class (bclass, super)
     |> ax_classrel prep_classrel (map (fn c => (class, c)) super)
+    |> Theory.add_finals_i false [Term.head_of (Logic.mk_inclass (Term.aT [], class))]
   end;
 
 in