| Thu, 02 Dec 2004 11:59:34 +0100 | nipkow | added ALL print-translation for > and >=. | changeset | files |
| Thu, 02 Dec 2004 11:44:55 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 02 Dec 2004 11:42:01 +0100 | nipkow | Added "ALL x > y" and relatives. | changeset | files |
| Thu, 02 Dec 2004 11:09:19 +0100 | paulson | new CLAUSIFY attribute for proof reconstruction with lemmas | changeset | files |