CONTRIBUTORS
2013-08-07 wenzelm more NEWS and CONTRIBUTORS;
2013-07-02 wenzelm tuned;
2013-06-30 haftmann CONTRIBUTORS
2013-05-31 bulwahn NEWS about Spec_Check
2013-04-10 traytel NEWS and CONTRIBUTORS
2013-03-23 haftmann fundamental revision of big operators on sets
2013-03-23 haftmann locales for abstract orders
2013-02-17 haftmann Sieve of Eratosthenes
2013-02-17 haftmann CONTRIBUTORS
2013-01-20 wenzelm back to post-release mode -- after fork point;
2013-01-20 wenzelm updated for release;
2013-01-20 wenzelm misc tuning for release;
2012-12-31 wenzelm updated for release;
2012-12-17 nipkow new contributor
2012-11-26 blanchet added file headers
2012-11-26 blanchet updated NEWS etc.
2012-11-24 wenzelm more NEWS/CONTRIBUTORS;
2012-11-21 hoelzl CONTRIBUTION: add fabians work
2012-10-10 Andreas Lochbihler efficient construction of red black trees from sorted associative lists
2012-09-22 wenzelm some PIDE NEWS from this summer;
2012-09-21 blanchet renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
2012-09-20 Andreas Lochbihler NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
2012-09-07 haftmann lattice instances for option type
2012-09-04 Christian Sternagel NEWS; CONTRIBUTORS
2012-08-28 blanchet updated NEWS and CONTRIBUTORS
2012-07-28 wenzelm announce advanced support for Isabelle sessions and build management;
2012-06-25 wenzelm ignore morphism more explicitly;
2012-06-21 bulwahn NEWS and CONTRIBUTORS
2012-05-02 wenzelm back to post-release mode -- after fork point;
2012-04-27 wenzelm tuned;
less more (0) -100 -50 -30 tip