| Fri, 14 Oct 2005 10:19:50 +0200 | paulson | deletion of Tools/res_types_sorts; removal of absolute numbering of clauses | changeset | files |
| Thu, 13 Oct 2005 11:58:22 +0200 | wenzelm | obsolete; | changeset | files |
| Wed, 12 Oct 2005 18:17:48 +0200 | webertj | counter added to SAT signature | changeset | files |
| Wed, 12 Oct 2005 17:06:22 +0200 | webertj | no proof reconstruction when quick_and_dirty is set | changeset | files |