| Wed, 17 Jun 1998 10:49:45 +0200 | nipkow | goal -> Goal | changeset | files |
| Wed, 17 Jun 1998 10:49:24 +0200 | nipkow | Changed and changed back. | changeset | files |
| Wed, 17 Jun 1998 10:48:38 +0200 | nipkow | Goals may now contain assumptions, which are not returned. | changeset | files |
| Tue, 16 Jun 1998 18:37:34 +0200 | wenzelm | added General/history.ML; | changeset | files |