Tue, 04 May 1999 13:32:35 +0200 | wenzelm | hide prep_ext, merge_theories; | changeset | files |
Tue, 04 May 1999 11:31:29 +0200 | wenzelm | oops; | changeset | files |
Tue, 04 May 1999 11:27:25 +0200 | wenzelm | tuned; | changeset | files |
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 |