Removed some case_names and consumes attributes that are now no longer
needed due to changes in the to_pred and to_set attributes.
(* Title: Pure/ProofGeneral/proof_general_keywords.ML
ID: $Id$
Author: Makarius
Dummy session with outer syntax keyword initialization.
*)
ProofGeneral.init_outer_syntax ();