src/Pure/Isar/specification.ML

--- a/src/Pure/Isar/specification.ML	Fri Oct 30 18:33:21 2009 +0100
+++ b/src/Pure/Isar/specification.ML	Sun Nov 01 15:24:45 2009 +0100
@@ -318,7 +318,7 @@
           end;
 
         val atts = map (Attrib.internal o K)
-          [RuleCases.consumes (~ (length obtains)), RuleCases.case_names case_names];
+          [Rule_Cases.consumes (~ (length obtains)), Rule_Cases.case_names case_names];
         val prems = Assumption.local_prems_of elems_ctxt ctxt;
         val stmt = [((Binding.empty, atts), [(thesis, [])])];