isabelle: Changelog

haftmann [Mon, 12 Jun 2006 09:14:41 +0200] rev 19852

fixed smlnj incompat.

berghofe [Mon, 12 Jun 2006 00:36:52 +0200] rev 19851

Completely rewrote code for defining graph of recursion combinator.

wenzelm [Sun, 11 Jun 2006 22:45:53 +0200] rev 19850

fixed subst step;

wenzelm [Sun, 11 Jun 2006 21:59:30 +0200] rev 19849

actually invoke result elements;

wenzelm [Sun, 11 Jun 2006 21:59:28 +0200] rev 19848

improved treatment of TERM TYPE syntax;

wenzelm [Sun, 11 Jun 2006 21:59:27 +0200] rev 19847

added import -- fixes schematic variables; added export;

wenzelm [Sun, 11 Jun 2006 21:59:26 +0200] rev 19846

fixes: include mixfix syntax; goal: improved handling of implicit vars;

wenzelm [Sun, 11 Jun 2006 21:59:25 +0200] rev 19845

added for_fixes;

wenzelm [Sun, 11 Jun 2006 21:59:24 +0200] rev 19844

fixes: include mixfix syntax;

wenzelm [Sun, 11 Jun 2006 21:59:23 +0200] rev 19843

added satisfy_ctxt;

isabelle