Thu, 23 Oct 1997 12:09:31 +0200 | wenzelm | tuned; | changeset | files |
Wed, 22 Oct 1997 11:36:43 +0200 | wenzelm | tuned; | changeset | files |
Wed, 22 Oct 1997 11:36:29 +0200 | wenzelm | certify: check_stale; | changeset | files |
Tue, 21 Oct 1997 18:15:43 +0200 | wenzelm | improved handling of draft signatures / theories; draft thms (and | changeset | files |
Tue, 21 Oct 1997 18:09:13 +0200 | wenzelm | sg_ref: automatic adjustment of thms of draft theories; | changeset | files |
Tue, 21 Oct 1997 17:48:06 +0200 | wenzelm | commit; | changeset | files |
Tue, 21 Oct 1997 17:47:50 +0200 | wenzelm | made Poly/ML happy, but SML/NJ unhappy; | changeset | files |