isabelle: Changelog

haftmann [Mon, 20 Oct 2014 07:57:33 +0200] rev 58711

more standard declaration for presburger

haftmann [Mon, 20 Oct 2014 07:45:58 +0200] rev 58710

augmented and tuned facts on even/odd and division

haftmann [Sun, 19 Oct 2014 18:05:26 +0200] rev 58709

prefer generic elimination rules for even/odd over specialized unfold rules for nat

wenzelm [Sun, 19 Oct 2014 12:47:34 +0200] rev 58708

NEWS;

wenzelm [Sun, 19 Oct 2014 12:07:03 +0200] rev 58707

omit pointless nodes for proof commands etc.;

wenzelm [Sun, 19 Oct 2014 11:20:03 +0200] rev 58706

tuned signature and modules;

wenzelm [Sat, 18 Oct 2014 22:50:35 +0200] rev 58705

merged

wenzelm [Sat, 18 Oct 2014 22:49:59 +0200] rev 58704

NEWS;

wenzelm [Sat, 18 Oct 2014 22:41:36 +0200] rev 58703

more folds;

wenzelm [Sat, 18 Oct 2014 22:02:10 +0200] rev 58702

always apply precedingFoldLevels, avoid unclear shortcuts; updated Console.jar 5.1.4;

isabelle