| Wed, 29 Nov 2006 15:44:46 +0100 |
wenzelm |
simplified method setup;
|
changeset |
files
|
| Wed, 29 Nov 2006 13:59:52 +0100 |
webertj |
clauses sorted according to term order (significant speedup in some cases)
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:18 +0100 |
wenzelm |
Assumption.assms_of: cterm;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:17 +0100 |
wenzelm |
Element.generalize_facts;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:16 +0100 |
wenzelm |
removed export_standard_morphism;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:15 +0100 |
wenzelm |
simplified add_thmss;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:14 +0100 |
wenzelm |
added facts_map;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:13 +0100 |
wenzelm |
added map/burrow_facts;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:12 +0100 |
wenzelm |
COMP_INCR;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:11 +0100 |
wenzelm |
added INCR_COMP, COMP_INCR;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:10 +0100 |
wenzelm |
assms_of: cterm;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:09 +0100 |
wenzelm |
simplified Logic.count_prems;
|
changeset |
files
|
| Wed, 29 Nov 2006 04:11:06 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Tue, 28 Nov 2006 21:59:45 +0100 |
isatest |
go back to fixed atbroy51, fix at-poly-e path settings
|
changeset |
files
|
| Tue, 28 Nov 2006 16:19:01 +0100 |
paulson |
Removed the references for counting combinators. Instead they are counted in actual clauses.
|
changeset |
files
|