blacklist augmented to block some "unit" theorems that cause unsound resolution proofs
blacklist augmented to block some "unit" theorems that cause unsound resolution proofs

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