removed fact that confuses SPASS -- better rely on "rev_rev_ident", which is stronger and more ATP friendly
removed fact that confuses SPASS -- better rely on "rev_rev_ident", which is stronger and more ATP friendly

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