| Tue, 07 Oct 1997 17:58:50 +0200 | wenzelm | tuned decode; | changeset | files |
| Tue, 07 Oct 1997 17:58:01 +0200 | wenzelm | tuned internal mapping table; | changeset | files |
| Tue, 07 Oct 1997 17:08:48 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 07 Oct 1997 17:06:05 +0200 | wenzelm | tuned warning msg; | changeset | files |
| 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 |