| Tue, 01 Jan 2008 16:09:29 +0100 | wenzelm | eval_wrapper: CRITICAL; | changeset | files |
| Tue, 01 Jan 2008 16:09:28 +0100 | wenzelm | try_ml_file: setmp explicit theory context, prevents race condition wrt. concurrent ML_Context.set_context; | changeset | files |
| Tue, 01 Jan 2008 16:09:27 +0100 | wenzelm | tuned spaces; | changeset | files |
| Tue, 01 Jan 2008 16:09:26 +0100 | wenzelm | removed separate exists/forall code; | changeset | files |