| 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 |