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 |
Tue, 20 Feb 2007 00:23:58 +0100 | kleing | updated docs with new with_dups syntax for find_theorems | changeset | files |
Tue, 20 Feb 2007 00:14:33 +0100 | kleing | Remove duplicates from printed theorems in find_theorems | changeset | files |