isabelle: Changelog

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57457

clean up MaSh export a bit

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57456

clean up MaSh evaluation driver

wenzelm [Tue, 01 Jul 2014 16:26:14 +0200] rev 57455

merged

wenzelm [Tue, 01 Jul 2014 15:19:43 +0200] rev 57454

tuned;

wenzelm [Tue, 01 Jul 2014 15:19:05 +0200] rev 57453

clarified quasi-generic PIDE;

wenzelm [Tue, 01 Jul 2014 14:52:08 +0200] rev 57452

misc updates for release;

wenzelm [Tue, 01 Jul 2014 14:05:05 +0200] rev 57451

more release notes;

hoelzl [Tue, 01 Jul 2014 15:57:07 +0200] rev 57450

Library/Tree: bst is preferred to be a function

hoelzl [Tue, 01 Jul 2014 15:25:27 +0200] rev 57449

Library/Tree: use datatype_new, bst is an inductive predicate

hoelzl [Mon, 30 Jun 2014 15:45:25 +0200] rev 57448

more equalities of topological filters; strengthen dependent_nat_choice; tuned a couple of proofs

isabelle