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 |
Thu, 02 Dec 2004 10:36:20 +0100 | nipkow | *** empty log message *** | changeset | files |
Thu, 02 Dec 2004 00:44:54 +0100 | kleing | antiquotations lhs and rhs | changeset | files |
Wed, 01 Dec 2004 18:17:01 +0100 | nipkow | *** empty log message *** | changeset | files |