Mon, 26 Jul 2010 11:19:57 +0200 | blanchet | remove confusing line in SPASS output (because the axiom names are off -- bug in SPASS) | file | diff | annotate |
Fri, 23 Jul 2010 21:29:29 +0200 | blanchet | keep track of clause numbers for SPASS now that we generate FOF rather than CNF problems; | file | diff | annotate |