generate proper arity declarations for TFrees for SPASS's DFG format;
and renamed a confusing function in the process
(* Title: Pure/ProofGeneral/proof_general_keywords.ML
Author: Makarius
Dummy session with outer syntax keyword initialization.
*)
ProofGeneral.init_outer_syntax ();