| Wed, 15 May 2002 10:44:58 +0200 | paulson | better error messages for datatypes not declared Const | changeset | files |
| Wed, 15 May 2002 10:42:32 +0200 | paulson | better simplification of trivial existential equalities | changeset | files |
| Tue, 14 May 2002 12:33:42 +0200 | kleing | numerals work again | changeset | files |
| Mon, 13 May 2002 15:45:21 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 13 May 2002 15:39:56 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 13 May 2002 15:27:28 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 13 May 2002 13:22:15 +0200 | paulson | quotes around types | changeset | files |