isabelle: Changelog

berghofe [Mon, 12 Jun 2006 17:16:03 +0200] rev 19855

Added "evaluation" method.

haftmann [Mon, 12 Jun 2006 15:58:12 +0200] rev 19854

updated keywords

wenzelm [Mon, 12 Jun 2006 11:59:25 +0200] rev 19853

made smlnj happy;

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;

isabelle