removed spurious 'unused_thms' (cf. 1a65b780bd56);
removed spurious 'unused_thms' (cf. 1a65b780bd56);

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