private add_used (from drule.ML); Variable.declare_names;
private add_used (from drule.ML);
Variable.declare_names;

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