isabelle: Changelog

berghofe [Fri, 10 Mar 2000 23:04:07 +0100] rev 8416

Type.typ_match now uses Vartab instead of association lists.

paulson [Fri, 10 Mar 2000 17:53:16 +0100] rev 8415

tidied

paulson [Fri, 10 Mar 2000 17:52:48 +0100] rev 8414

now uses recdef instead of "rules"

paulson [Fri, 10 Mar 2000 17:51:59 +0100] rev 8413

tidied, and new thm perm_append2_eq

nipkow [Fri, 10 Mar 2000 17:14:56 +0100] rev 8412

cases_tac

berghofe [Fri, 10 Mar 2000 15:03:05 +0100] rev 8411

Type.typ_match now uses Vartab instead of association lists.

berghofe [Fri, 10 Mar 2000 15:02:04 +0100] rev 8410

Type.unify now uses Vartab instead of association lists.

berghofe [Fri, 10 Mar 2000 15:00:32 +0100] rev 8409

Added function min_key.

berghofe [Fri, 10 Mar 2000 15:00:01 +0100] rev 8408

Added functions subst_TVars_Vartab and typ_subst_TVars_Vartab.

berghofe [Fri, 10 Mar 2000 14:58:25 +0100] rev 8407

Envir now uses Vartab instead of association lists.

isabelle