| Fri, 10 Mar 2000 15:03:05 +0100 | berghofe | Type.typ_match now uses Vartab instead of association lists. | changeset | files |
| Fri, 10 Mar 2000 15:02:04 +0100 | berghofe | Type.unify now uses Vartab instead of association lists. | changeset | files |
| Fri, 10 Mar 2000 15:00:32 +0100 | berghofe | Added function min_key. | changeset | files |
| Fri, 10 Mar 2000 15:00:01 +0100 | berghofe | Added functions subst_TVars_Vartab and typ_subst_TVars_Vartab. | changeset | files |
| Fri, 10 Mar 2000 14:58:25 +0100 | berghofe | Envir now uses Vartab instead of association lists. | changeset | files |
| Fri, 10 Mar 2000 14:57:06 +0100 | berghofe | Type.unify and Type.typ_match now use Vartab instead of association lists. | changeset | files |
| Fri, 10 Mar 2000 01:16:19 +0100 | wenzelm | add_cases_induct: produce proper case names; | changeset | files |
| Fri, 10 Mar 2000 01:13:37 +0100 | wenzelm | type descr; | changeset | files |