RuleCases.tactic; accomodate identification of type Sign.sg and theory;
RuleCases.tactic;
accomodate identification of type Sign.sg and theory;

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