Tidying. New invoke_atp_ml for top-level debugging. Flag to force FOL mode.
Tidying. New invoke_atp_ml for top-level debugging. Flag to force FOL mode.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle