added declare_theorems(_i); adapted Context.use_let;
added declare_theorems(_i);
adapted Context.use_let;

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