| Thu, 12 May 2005 15:42:58 +0200 | paulson | memoization of ResAxioms.cnf_axiom rather than of Reconstruction.clausify_rule | changeset | files |
| Thu, 12 May 2005 10:48:46 +0200 | paulson | first-order now ignores "all" | changeset | files |
| Thu, 12 May 2005 09:45:54 +0200 | nipkow | fixed a few things and added Haftmann as author | changeset | files |
| Wed, 11 May 2005 17:45:38 +0200 | paulson | documented new subst method | changeset | files |