| Tue, 07 Oct 1997 12:37:53 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 07 Oct 1997 12:29:34 +0200 | wenzelm | The Isabelle Logo; | changeset | files |
| Mon, 06 Oct 1997 20:00:31 +0200 | wenzelm | fixed 'begin'; | changeset | files |
| Mon, 06 Oct 1997 19:39:40 +0200 | wenzelm | optional begin keyword; | changeset | files |
| Mon, 06 Oct 1997 19:16:57 +0200 | wenzelm | "->" made syntax; | changeset | files |
| Mon, 06 Oct 1997 19:15:22 +0200 | wenzelm | eliminated raise_term; | changeset | files |
| Mon, 06 Oct 1997 19:15:02 +0200 | wenzelm | eliminated raise_term, raise_typ; | changeset | files |