| Sun, 23 Apr 2006 10:57:48 +0200 | obua | added LP.thy | changeset | files |
| Sat, 22 Apr 2006 06:06:39 +0200 | mengj | Changed the treatment of equalities. | changeset | files |
| 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 |