src/Tools/project_rule.ML

--- a/src/Tools/project_rule.ML	Fri Oct 30 18:33:21 2009 +0100
+++ b/src/Tools/project_rule.ML	Sun Nov 01 15:24:45 2009 +0100
@@ -47,8 +47,8 @@
         Thm.permute_prems 0 (~ k)
         #> singleton (Variable.export ctxt' ctxt)
         #> Drule.zero_var_indexes
-        #> RuleCases.save raw_rule
-        #> RuleCases.add_consumes k);
+        #> Rule_Cases.save raw_rule
+        #> Rule_Cases.add_consumes k);
   in map result is end;
 
 fun project ctxt i th = hd (projects ctxt [i] th);