src/Provers/classical.ML

--- a/src/Provers/classical.ML	Fri Aug 10 17:04:20 2007 +0200
+++ b/src/Provers/classical.ML	Fri Aug 10 17:04:24 2007 +0200
@@ -1022,7 +1022,7 @@
 
 fun default_tac rules ctxt cs facts =
   HEADGOAL (rule_tac rules ctxt cs facts) ORELSE
-  ClassPackage.default_intro_classes_tac facts;
+  Class.default_intro_classes_tac facts;
 
 in
   val rule = METHOD_CLASET' o rule_tac;