src/Pure/Isar/isar_cmd.ML

   Toplevel.keep (fn state =>
     let val ctxt = Toplevel.context_of state
     in Pretty.writeln (Simplifier.pretty_ss ctxt (simpset_of ctxt)) end);
 
 val print_rules = Toplevel.unknown_context o
-  Toplevel.keep (ContextRules.print_rules o Toplevel.context_of);
+  Toplevel.keep (Context_Rules.print_rules o Toplevel.context_of);
 
 val print_trans_rules = Toplevel.unknown_context o
   Toplevel.keep (Calculation.print_rules o Toplevel.context_of);
 
 val print_methods = Toplevel.unknown_theory o