removed thms_containing (see pure_thy.ML and proof_context.ML);
removed thms_containing (see pure_thy.ML and proof_context.ML);

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