Tue, 04 May 1999 10:26:00 +0200 | paulson | Invariant -> Always and other tidying | changeset | files |
Mon, 03 May 1999 19:03:35 +0200 | wenzelm | tuned; | changeset | files |
Mon, 03 May 1999 18:35:48 +0200 | wenzelm | theory loader stuff updated and improved; | changeset | files |