src/Tools/induct.ML

     pretty_rules ctxt "cases type:" casesT,
     pretty_rules ctxt "cases pred:" casesP]
     |> Pretty.chunks |> Pretty.writeln
   end;
 
-val _ = OuterSyntax.add_parsers [
+val _ =
   OuterSyntax.improper_command "print_induct_rules" "print induction and cases rules"
     OuterKeyword.diag (Scan.succeed (Toplevel.no_timing o Toplevel.unknown_context o
-      Toplevel.keep (print_rules o Toplevel.context_of)))];
+      Toplevel.keep (print_rules o Toplevel.context_of)));
 
 
 (* access rules *)
 
 val lookup_casesT = lookup_rule o #1 o #1 o get_local;