| Fri, 01 Jul 2005 14:42:00 +0200 | wenzelm | ctyp: added 'sorts' field; | changeset | files |
| Fri, 01 Jul 2005 14:41:59 +0200 | wenzelm | added all_sorts_nonempty; | changeset | files |
| Fri, 01 Jul 2005 14:41:58 +0200 | wenzelm | low-level tuning of fold, fold_rev, foldl_map; | changeset | files |
| Fri, 01 Jul 2005 14:41:57 +0200 | wenzelm | isatool install: removed KDE option; | changeset | files |
| Fri, 01 Jul 2005 14:22:33 +0200 | berghofe | Fixed bug: lookup' must use = instead of eq_type to compare types of | changeset | files |
| Fri, 01 Jul 2005 14:20:01 +0200 | berghofe | Changed interface of Envir.lookup' | changeset | files |
| Fri, 01 Jul 2005 14:19:36 +0200 | berghofe | Moved eq_type from envir.ML to type.ML | changeset | files |
| Fri, 01 Jul 2005 14:18:27 +0200 | berghofe | Implemented modular code generation. | changeset | files |