Wed, 06 Jul 2005 20:00:37 +0200 |
wenzelm |
added time_accumulator and accumulated_time supercede
|
changeset |
files
|
Wed, 06 Jul 2005 20:00:34 +0200 |
wenzelm |
added full_prop_of: includes tpairs;
|
changeset |
files
|
Wed, 06 Jul 2005 20:00:33 +0200 |
wenzelm |
tuned eq_ix;
|
changeset |
files
|
Wed, 06 Jul 2005 20:00:31 +0200 |
wenzelm |
Context.check_thy;
|
changeset |
files
|
Wed, 06 Jul 2005 20:00:29 +0200 |
wenzelm |
tuned forall_elim_var(s): avoid expensive Term.add_vars;
|
changeset |
files
|
Wed, 06 Jul 2005 20:00:27 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 06 Jul 2005 20:00:25 +0200 |
wenzelm |
Thm.full_prop_of;
|
changeset |
files
|
Wed, 06 Jul 2005 20:00:24 +0200 |
wenzelm |
check_thy: less invocations, less verbose;
|
changeset |
files
|
Wed, 06 Jul 2005 20:00:20 +0200 |
wenzelm |
* Pure: Output.time_accumulator;
|
changeset |
files
|
Wed, 06 Jul 2005 10:41:51 +0200 |
wenzelm |
isatool fixheaders;
|
changeset |
files
|
Wed, 06 Jul 2005 10:41:50 +0200 |
wenzelm |
tuned msg;
|
changeset |
files
|
Wed, 06 Jul 2005 10:41:49 +0200 |
wenzelm |
ThyInfo.time_use root;
|
changeset |
files
|