| Fri, 15 Jul 2005 15:44:20 +0200 |
wenzelm |
tuned fold on terms;
|
changeset |
files
|
| Fri, 15 Jul 2005 15:44:19 +0200 |
wenzelm |
tuned min_key, max_key;
|
changeset |
files
|
| Fri, 15 Jul 2005 15:44:18 +0200 |
wenzelm |
replaced foldl_XXX by canonical fold_XXX;
|
changeset |
files
|
| Fri, 15 Jul 2005 15:44:17 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 15 Jul 2005 15:44:15 +0200 |
wenzelm |
tuned fold on terms;
|
changeset |
files
|
| Fri, 15 Jul 2005 15:44:11 +0200 |
wenzelm |
* Pure/library.ML: several combinators for linear functional transformations;
|
changeset |
files
|
| Fri, 15 Jul 2005 15:35:28 +0200 |
obua |
optimize no_types_needed, remove exception handler
|
changeset |
files
|
| Fri, 15 Jul 2005 11:26:22 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 14 Jul 2005 20:32:37 +0200 |
dixon |
lucas - slightly cleaned up. Removed redudent copy of Symtab structure.
|
changeset |
files
|
| Thu, 14 Jul 2005 19:29:00 +0200 |
wenzelm |
* Improved 'oracle' command -- type-safe;
|
changeset |
files
|
| Thu, 14 Jul 2005 19:28:40 +0200 |
wenzelm |
no open Logic;
|
changeset |
files
|
| Thu, 14 Jul 2005 19:28:39 +0200 |
wenzelm |
removed itlist, rev_itlist -- use fold_rev, fold instead;
|
changeset |
files
|
| Thu, 14 Jul 2005 19:28:38 +0200 |
wenzelm |
replaced itlist by fold_rev;
|
changeset |
files
|
| Thu, 14 Jul 2005 19:28:37 +0200 |
wenzelm |
replaced itlist by fold_rev;
|
changeset |
files
|
| Thu, 14 Jul 2005 19:28:36 +0200 |
wenzelm |
use sys_error instead of exception Internal;
|
changeset |
files
|
| Thu, 14 Jul 2005 19:28:34 +0200 |
wenzelm |
sys_error;
|
changeset |
files
|