# HG changeset patch
# User wenzelm
# Date 1477391769 7200
# Node ID 17a7543fadada3f65bd15f245a0bc0dd81ea4a7c
# Parent 9456313b57ed20613cb5e6b55644573e5e4fbf55
tuned and updated for release;
diff r 9456313b57ed r 17a7543fadad CONTRIBUTORS
 a/CONTRIBUTORS Tue Oct 25 12:23:54 2016 +0200
+++ b/CONTRIBUTORS Tue Oct 25 12:36:09 2016 +0200
@@ 6,50 +6,54 @@
Contributions to Isabelle20161

* January 2016: Florian Haftmann, TUM
 Abolition of compound operators INFIMUM and SUPREMUM
 for complete lattices.
+* October 2016: Jasmin Blanchette
+ Integration of Nunchaku model finder.
+
+* October 2016: Jaime Mendizabal Roche, TUM
+ Ported remaining theories of session Old_Number_Theory to the new
+ Number_Theory and removed Old_Number_Theory.
+
+* September 2016: Sascha Boehme
+ Proof method "argo" based on SMT technology for a combination of
+ quantifierfree propositional logic, equality and linear real arithmetic
+
+* July 2016: Daniel Stuewe
+ Heightsize proofs in HOLData_Structures.
+
+* July 2016: Manuel Eberl, TUM
+ Algebraic foundation for primes; generalization from nat to general
+ factorial rings.
+
+* June 2016: Andreas Lochbihler, ETH Zurich
+ Formalisation of discrete subprobability distributions.
+
+* June 2016: Florian Haftmann, TUM
+ Improvements to code generation: optional timing measurements, more succint
+ closures for static evaluation, less ambiguities concering Scala implicits.
+
+* May 2016: Manuel Eberl, TUM
+ Code generation for Probability Mass Functions.
* March 2016: Florian Haftmann, TUM
Abstract factorial rings with unique factorization.
* March 2016: Florian Haftmann, TUM
 Reworking of the HOL char type as special case of a
 finite numeral type.

* March 2016: Andreas Lochbihler
 Reasoning support for monotonicity, continuity and
 admissibility in chaincomplete partial orders.
+ Reworking of the HOL char type as special case of a finite numeral type.
* May 2016: Manuel Eberl
 Code generation for Probability Mass Functions.

* June 2016: Andreas Lochbihler
 Formalisation of discrete subprobability distributions.

* June 2016: Florian Haftmann, TUM
 Improvements to code generation: optional timing measurements,
 more succint closures for static evaluation, less ambiguities
 concering Scala implicits.
+* March 2016: Andreas Lochbihler, ETH Zurich
+ Reasoning support for monotonicity, continuity and admissibility in
+ chaincomplete partial orders.
* July 2016: Daniel Stuewe
 Heightsize proofs in HOL/Data_Structures

* July 2016: Manuel Eberl
 Algebraic foundation for primes; generalization from nat
 to general factorial rings
+* February  October 2016: Makarius Wenzel
+ Prover IDE improvements.
+ ML IDE improvements: bootstrap of Pure.
+ Isar language consolidation.
+ Notational modernization of HOL.
+ Tight Poly/ML integration.
+ More Isabelle/Scala system programming modules (e.g. SSH, Mercurial).
* September 2016: Sascha Boehme
 Proof method 'argo' based on SMT technology for a combination of
 quantifierfree propositional logic, equality and linear real
 arithmetic

* October 2016: Jaime Mendizabal Roche
 Ported remaining theories of Old_Number_Theory to the new
 Number_Theory and removed Old_Number_Theory.

* October 2016: Jasmin Blanchette
 Integration of Nunchaku model finder.
+* January 2016: Florian Haftmann, TUM
+ Abolition of compound operators INFIMUM and SUPREMUM for complete lattices.
Contributions to Isabelle2016