don't waste time with old-style 'case's that don't have the required theorems
don't waste time with old-style 'case's that don't have the required theorems

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