src/Pure/ProofGeneral/proof_general_keywords.ML

use_thys: perform consolidate_thy on loaded theories, which removes failed nodes in post-hoc fashion;

(*  Title:      Pure/ProofGeneral/proof_general_keywords.ML
    ID:         $Id$
    Author:     Makarius

Dummy session with outer syntax keyword initialization.
*)

ProofGeneral.init_outer_syntax ();