Rule instantiations -- operations within a rule/subgoal context.
Rule instantiations -- operations within a rule/subgoal context.

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