CONTRIBUTORS
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;
2010-06-03 krauss 2010-06-03 CONTRIBUTORS
2010-06-02 wenzelm 2010-06-02 more CONTRIBUTORS;
2010-05-27 wenzelm 2010-05-27 misc updates for release;
2010-04-27 haftmann 2010-04-27 NEWS and CONTRIBUTORS
2009-12-04 wenzelm 2009-12-04 back to after-release mode;
2009-11-25 wenzelm 2009-11-25 tuned affiliation;
2009-11-25 boehmes 2009-11-25 extended list of HOL-Boogie contributors
2009-11-23 haftmann 2009-11-23 CONTRIBUTORS
2009-11-22 wenzelm 2009-11-22 more NEWS, more tuning for release;
2009-11-22 wenzelm 2009-11-22 misc tuning and updates for official release;
2009-11-19 hoelzl 2009-11-19 Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS
2009-11-12 bulwahn 2009-11-12 added a tabled implementation of the reflexive transitive closure
2009-11-12 bulwahn 2009-11-12 announcing the predicate compiler in NEWS and CONTRIBUTORS
2009-11-03 boehmes 2009-11-03 added HOL-Boogie
2009-10-26 blanchet 2009-10-26 merged
2009-10-22 blanchet 2009-10-22 added Nitpick's theory and ML files to Isabelle/HOL; the examples and the documentation are on their way.
2009-10-26 wenzelm 2009-10-26 misc tuning and updates;