Thu, 20 Apr 2006 04:20:06 +0200 | mengj | Changed the logic detection method. | changeset | files |
Wed, 19 Apr 2006 13:11:35 +0200 | paulson | exported linkup_logic_mode and changed the default setting | changeset | files |
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 |