| Fri, 03 Dec 2004 15:28:12 +0100 | paulson | trying to fix the transfer problem | changeset | files |
| Fri, 03 Dec 2004 15:27:47 +0100 | paulson | tidied | changeset | files |
| Fri, 03 Dec 2004 12:52:24 +0100 | kleing | tuned | changeset | files |
| Fri, 03 Dec 2004 07:27:48 +0100 | kleing | fixed typo | changeset | files |
| Fri, 03 Dec 2004 07:23:19 +0100 | kleing | more sugar | changeset | files |
| Thu, 02 Dec 2004 16:02:29 +0100 | paulson | clauses counted from 0 | changeset | files |
| Thu, 02 Dec 2004 14:47:07 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 02 Dec 2004 12:28:09 +0100 | nipkow | Fixed print translation for ALL x > y etc | changeset | files |
| 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 |
| Wed, 01 Dec 2004 18:11:50 +0100 | nipkow | Removed postfix >= because of new >= sugar | changeset | files |