isabelle: Changelog

wenzelm [Tue, 20 Oct 2009 10:46:42 +0200] rev 33009

merged

haftmann [Tue, 20 Oct 2009 08:10:47 +0200] rev 33008

merged

haftmann [Tue, 20 Oct 2009 08:10:31 +0200] rev 33007

more accurate checkpoints

haftmann [Mon, 19 Oct 2009 16:34:12 +0200] rev 33006

dropped lazy code equations

haftmann [Mon, 19 Oct 2009 16:32:03 +0200] rev 33005

CONTRIBUTORS

wenzelm [Mon, 19 Oct 2009 23:02:56 +0200] rev 33004

always qualify NJ's old List.foldl/foldr in Isabelle/ML;

wenzelm [Mon, 19 Oct 2009 23:02:23 +0200] rev 33003

eliminated duplicate fold1 -- beware of argument order!

wenzelm [Mon, 19 Oct 2009 21:54:57 +0200] rev 33002

uniform use of Integer.add/mult/sum/prod;

berghofe [Mon, 19 Oct 2009 16:47:21 +0200] rev 33001

Removed dead code in function mk_deftab.

berghofe [Mon, 19 Oct 2009 16:45:52 +0200] rev 33000

Removed unneeded reference to inv_def.

isabelle