at.logic.gapt.proofs.ceres_schema.clauseSets
Should calculate the same clause set as StandardClauseSet, but without the intermediate representation of a normalized struct. Does not work for Schema, for CERESomega only if all labels are empty (clauses are correct, but labels forgotten).
Should calculate the same clause set as StandardClauseSet, but without the intermediate representation of a normalized struct. Does not work for Schema, for CERESomega only if all labels are empty (clauses are correct, but labels forgotten).