| Thu, 16 Jul 1998 11:50:01 +0200 | paulson | Got rid of obsolete "goal" commands. | changeset | files |
| Thu, 16 Jul 1998 10:35:31 +0200 | paulson | Addition of "Theorem B" of Peter Andrews | changeset | files |
| Wed, 15 Jul 1998 18:26:15 +0200 | berghofe | Fixed bug in transform_rule. | changeset | files |
| Wed, 15 Jul 1998 14:19:02 +0200 | paulson | More tidying and removal of "\!\!... from Goal commands | changeset | files |
| Wed, 15 Jul 1998 14:13:18 +0200 | paulson | More tidying and removal of "\!\!... from Goal commands | changeset | files |
| Wed, 15 Jul 1998 12:02:19 +0200 | nipkow | @ -> $ | changeset | files |
| Wed, 15 Jul 1998 11:15:57 +0200 | nipkow | disjoint | changeset | files |
| Wed, 15 Jul 1998 10:58:44 +0200 | nipkow | Minor tidying up. | changeset | files |