src/Pure/Isar/context_rules.ML

     else make_rules next (filter_out eq_th rules) (map (del false o del true) netpairs) wrappers
   end;
 
 structure Rules = GenericDataFun
 (
-  val name = "Isar/rules";
+  val name = "Pure/rules";
   type T = T;
 
   val empty = make_rules ~1 [] empty_netpairs ([], []);
   val extend = I;