Tue, 02 Dec 1997 12:42:28 +0100 | wenzelm | tuned term order; | changeset | files |
Tue, 02 Dec 1997 12:41:29 +0100 | wenzelm | tuned trfuns types; | changeset | files |
Tue, 02 Dec 1997 12:41:02 +0100 | wenzelm | added prod_ord, dict_ord, list_ord; | changeset | files |
Tue, 02 Dec 1997 12:40:06 +0100 | wenzelm | File.tmp_name; | changeset | files |
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 |