| Wed, 19 Apr 2006 10:43:53 +0200 | paulson | fix to spacing in switches, for Vampire under SML/NJ | changeset | files |
| Wed, 19 Apr 2006 10:43:09 +0200 | paulson | definition expansion checks for excess variables | changeset | files |
| Wed, 19 Apr 2006 10:42:45 +0200 | paulson | the "th" field of type "clause" | changeset | files |
| Wed, 19 Apr 2006 10:42:13 +0200 | paulson | tidying and reformatting | changeset | files |