| Tue, 13 Jan 1998 10:40:38 +0100 | narasche | Simplification: sel make and update make | changeset | files |
| Mon, 12 Jan 1998 17:51:32 +0100 | mueller | added abstraction files; | changeset | files |
| Mon, 12 Jan 1998 17:51:05 +0100 | mueller | added further IOA liles; | changeset | files |
| Mon, 12 Jan 1998 17:49:12 +0100 | wenzelm | updated to Isabelle98; | changeset | files |