* Rules and tactics that read instantiations now demand a proper context;
* Rules and tactics that read instantiations now demand a proper context;

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