isabelle: Changelog

wenzelm [Wed, 30 Jul 2014 21:40:19 +0200] rev 57827

CONTRIBUTORS;

kuncar [Wed, 30 Jul 2014 16:44:54 +0200] rev 57826

NEWS

hoelzl [Tue, 29 Jul 2014 17:13:25 +0200] rev 57825

better ordering of positive_integral renaming to nn_integral in NEWS

desharna [Mon, 28 Jul 2014 12:31:30 +0200] rev 57824

made tactic more robust w.r.t. dead variables; tuned;

blanchet [Sun, 27 Jul 2014 21:20:11 +0200] rev 57823

do not embed 'nat' into 'int's in 'smt2' method -- this is highly inefficient and decreases the Sledgehammer success rate significantly

wenzelm [Mon, 28 Jul 2014 11:03:28 +0200] rev 57822

some actual workaround to remove document nodes;

wenzelm [Sun, 27 Jul 2014 15:40:19 +0200] rev 57821

Added tag Isabelle2014-RC1 for changeset c0fd03d13d28

wenzelm [Sat, 09 Aug 2014 21:03:42 +0200] rev 57820

tuned;

nipkow [Sat, 09 Aug 2014 07:59:15 +0200] rev 57819

tuned

Andreas Lochbihler [Fri, 08 Aug 2014 17:36:08 +0200] rev 57818

add complete_lattice instances for Enum.finite_* types such that quickcheck deals with lattice class operations

isabelle