| Fri, 23 Feb 2007 08:39:21 +0100 | haftmann | adjusted code lemmas | changeset | files |
| Fri, 23 Feb 2007 08:39:20 +0100 | haftmann | continued | changeset | files |
| Fri, 23 Feb 2007 08:39:19 +0100 | haftmann | dropped diagnostic switch | changeset | files |
| Thu, 22 Feb 2007 10:25:14 +0100 | paulson | Improved handling of situation when theorem in cache disagrees with theorem supplied: new clauses | changeset | files |
| Wed, 21 Feb 2007 13:51:12 +0100 | krauss | Fixed print translations for quantifiers a la "ALL x>=t. P x". These used | changeset | files |
| Wed, 21 Feb 2007 02:30:06 +0100 | kleing | prevent quadratic time removal of duplicates if filter list is empty (likely to have too many results) | changeset | files |
| Tue, 20 Feb 2007 00:53:18 +0100 | kleing | added missing \ | changeset | files |