Wed, 03 Dec 1997 10:47:13 +0100 |
paulson |
updated for latest Blast_tac, which fixes an equality bug
|
changeset |
files
|
Wed, 03 Dec 1997 10:45:42 +0100 |
paulson |
Miniscoping now used except for one proof
|
changeset |
files
|
Tue, 02 Dec 1997 12:42:59 +0100 |
wenzelm |
adapted to new term order;
|
changeset |
files
|
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
|
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
|