| 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 |
| Mon, 12 Jan 1998 17:48:55 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 12 Jan 1998 17:48:23 +0100 | mueller | added files containing temproal logic and abstraction; | changeset | files |
| Mon, 12 Jan 1998 17:26:34 +0100 | wenzelm | Delsimprocs nat_cancel; | changeset | files |