Outputs a minimal number of arity clauses. Tidying of blacklist, fixing the blacklisting of thm lists
Outputs a minimal number of arity clauses. Tidying of blacklist, fixing the blacklisting of thm lists

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