isabelle: Changelog

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.

berghofe [Fri, 10 Mar 2000 14:57:06 +0100] rev 8406

Type.unify and Type.typ_match now use Vartab instead of association lists.

wenzelm [Fri, 10 Mar 2000 01:16:19 +0100] rev 8405

add_cases_induct: produce proper case names;

wenzelm [Fri, 10 Mar 2000 01:13:37 +0100] rev 8404

type descr;

wenzelm [Thu, 09 Mar 2000 22:58:23 +0100] rev 8403

check_case: disallow (T)Vars in invoked case;

wenzelm [Thu, 09 Mar 2000 22:57:39 +0100] rev 8402

quote tag arguments;

wenzelm [Thu, 09 Mar 2000 22:57:13 +0100] rev 8401

more robust case names of induct;

isabelle