Mon, 26 Jul 2010 11:21:11 +0200 | blanchet | proof reconstruction for full FOF terms | changeset | files |
Mon, 26 Jul 2010 11:19:57 +0200 | blanchet | remove confusing line in SPASS output (because the axiom names are off -- bug in SPASS) | changeset | files |
Mon, 26 Jul 2010 11:19:21 +0200 | blanchet | reorder SPASS conjectures correctly, based on Flotter output | changeset | files |