CONTRIBUTORS
2013-03-23 haftmann 2013-03-23 fundamental revision of big operators on sets
2013-03-23 haftmann 2013-03-23 locales for abstract orders
2013-02-17 haftmann 2013-02-17 Sieve of Eratosthenes
2013-02-17 haftmann 2013-02-17 CONTRIBUTORS
2013-01-20 wenzelm 2013-01-20 back to post-release mode -- after fork point;
2013-01-20 wenzelm 2013-01-20 updated for release;
2013-01-20 wenzelm 2013-01-20 misc tuning for release;
2012-12-31 wenzelm 2012-12-31 updated for release;
2012-12-17 nipkow 2012-12-17 new contributor
2012-11-26 blanchet 2012-11-26 added file headers
2012-11-26 blanchet 2012-11-26 updated NEWS etc.
2012-11-24 wenzelm 2012-11-24 more NEWS/CONTRIBUTORS;
2012-11-21 hoelzl 2012-11-21 CONTRIBUTION: add fabians work
2012-10-10 Andreas Lochbihler 2012-10-10 efficient construction of red black trees from sorted associative lists
2012-09-22 wenzelm 2012-09-22 some PIDE NEWS from this summer;
2012-09-21 blanchet 2012-09-21 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 2012-09-20 NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
2012-09-07 haftmann 2012-09-07 lattice instances for option type
2012-09-04 Christian Sternagel 2012-09-04 NEWS; CONTRIBUTORS
2012-08-28 blanchet 2012-08-28 updated NEWS and CONTRIBUTORS
2012-07-28 wenzelm 2012-07-28 announce advanced support for Isabelle sessions and build management;
2012-06-25 wenzelm 2012-06-25 ignore morphism more explicitly; tuned headers;
2012-06-21 bulwahn 2012-06-21 NEWS and CONTRIBUTORS
2012-05-02 wenzelm 2012-05-02 back to post-release mode -- after fork point;
2012-04-27 wenzelm 2012-04-27 tuned;
2012-04-23 kuncar 2012-04-23 CONTRIBUTORS
2012-04-23 hoelzl 2012-04-23 CONTRIBUTORS
2012-04-17 Thomas Sewell 2012-04-17 New tactic "word_bitwise" expands word equalities/inequalities into logic.
2012-04-18 blanchet 2012-04-18 Sledgehammer NEWS and CONTRIBUTORS
2012-04-15 wenzelm 2012-04-15 more CONTRIBUTORS;
2012-04-14 wenzelm 2012-04-14 some updates for release;
2012-04-13 bulwahn 2012-04-13 NEWS
2012-04-10 wenzelm 2012-04-10 some coverage of HOL/TPTP;
2012-04-01 krauss 2012-04-01 less modest NEWS; CONTRIBUTORS
2012-02-23 haftmann 2012-02-23 CONTRIBUTORS
2011-09-26 wenzelm 2011-09-26 back to post-release mode;
2011-09-18 wenzelm 2011-09-18 misc tuning for release;
2011-09-12 huffman 2011-09-12 fix typo
2011-09-12 huffman 2011-09-12 NEWS and CONTRIBUTORS
2011-09-12 hoelzl 2011-09-12 adding NEWS and CONTRIBUTORS
2011-09-12 bulwahn 2011-09-12 merged
2011-09-12 bulwahn 2011-09-12 moving connection of association lists to Mappings into a separate theory
2011-09-12 blanchet 2011-09-12 added my contributions to NEWS and CONTRIBUTORS
2011-09-11 wenzelm 2011-09-11 more CONTRIBUTORS;
2011-09-08 wenzelm 2011-09-08 merged
2011-09-07 haftmann 2011-09-07 theory of saturated naturals contributed by Peter Gammie
2011-09-07 wenzelm 2011-09-07 some updates for release;
2011-01-17 wenzelm 2011-01-17 back to post-release mode;
2011-01-16 wenzelm 2011-01-16 misc updates for release;
2011-01-15 berghofe 2011-01-15 Added entry for HOL-SPARK
2011-01-12 krauss 2011-01-12 CONTRIBUTORS
2011-01-11 wenzelm 2011-01-11 updated to Isabelle2011;
2010-11-05 wenzelm 2010-11-05 proper spelling; proper format;
2010-11-05 hoelzl 2010-11-05 Extend convex analysis by Bogdan Grechuk
2010-10-29 wenzelm 2010-10-29 CONTRIBUTORS;
2010-10-25 haftmann 2010-10-25 CONTRIBUTORS
2010-09-23 haftmann 2010-09-23 CONTRIBUTORS and NEWS
2010-08-23 hoelzl 2010-08-23 Rewrite the Probability theory. Introduced pinfreal as real numbers with infinity. Use pinfreal as value for measures. Introduces Lebesgue Measure based on the integral in Multivariate Analysis. Proved Radon Nikodym for arbitrary sigma finite measure spaces.
2010-08-17 haftmann 2010-08-17 NEWS and CONTRIBUTORS
2010-06-07 wenzelm 2010-06-07 back to non-release mode;