| Tue, 02 Dec 1997 12:39:03 +0100 | wenzelm | added tmp_name; | changeset | files |
| Tue, 02 Dec 1997 12:38:39 +0100 | wenzelm | ISABELLE_TMP; | changeset | files |
| Tue, 02 Dec 1997 12:38:08 +0100 | wenzelm | added context.ML; | changeset | files |
| Tue, 02 Dec 1997 12:37:44 +0100 | wenzelm | Global contexts: session and theory. | changeset | files |
| Tue, 02 Dec 1997 12:37:22 +0100 | wenzelm | added Thy/context.ML; | changeset | files |
| Mon, 01 Dec 1997 18:27:43 +0100 | wenzelm | open; | changeset | files |
| Mon, 01 Dec 1997 18:27:06 +0100 | wenzelm | nat_cancel simprocs; | changeset | files |
| Mon, 01 Dec 1997 18:22:38 +0100 | wenzelm | ISABELLE_TMP_PREFIX; | changeset | files |