added cases, rule_contextN; eliminated obsolete Sign.sg;
added cases, rule_contextN;
eliminated obsolete Sign.sg;

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