Now checks explicitly for Trueprop, thereby ignoring junk theorems involving OF_CLASS, etc.
Now checks explicitly for Trueprop, thereby ignoring junk theorems involving OF_CLASS, etc.

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