| Thu, 24 Oct 2002 12:06:43 +0200 | kleing | fixed latex error | changeset | files |
| Thu, 24 Oct 2002 07:23:46 +0200 | nipkow | ASIN -> SET | changeset | files |
| Wed, 23 Oct 2002 16:10:42 +0200 | streckem | *** empty log message *** | changeset | files |
| Wed, 23 Oct 2002 16:10:02 +0200 | streckem | First checkin of compiler | changeset | files |
| Wed, 23 Oct 2002 16:09:02 +0200 | streckem | Added compiler | changeset | files |
| Mon, 21 Oct 2002 17:23:23 +0200 | berghofe | Eta contraction is now switched off when printing extracted program. | changeset | files |
| Mon, 21 Oct 2002 17:20:29 +0200 | berghofe | Fixed problem with theorems containing TFrees. | changeset | files |