| Fri, 10 Mar 2000 17:52:48 +0100 | paulson | now uses recdef instead of "rules" | changeset | files |
| Fri, 10 Mar 2000 17:51:59 +0100 | paulson | tidied, and new thm perm_append2_eq | changeset | files |
| Fri, 10 Mar 2000 17:14:56 +0100 | nipkow | cases_tac | changeset | files |
| 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 |