inlined version of old-style Drule.add_axioms -- Specification.axiom is not bootstrapped yet;
inlined version of old-style Drule.add_axioms -- Specification.axiom is not bootstrapped yet;

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