--- a/CONTRIBUTORS Mon Oct 03 18:19:24 2016 +0200
+++ b/CONTRIBUTORS Mon Oct 03 14:34:29 2016 +0200
@@ -6,13 +6,17 @@
Contributions to this Isabelle version
--------------------------------------
-* January 2016: Florian Haftmann
+* January 2016: Florian Haftmann, TUM
Abolition of compound operators INFIMUM and SUPREMUM
for complete lattices.
-* March 2016: Florian Haftmann
+* 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 chain-complete partial orders.
@@ -23,6 +27,11 @@
* 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.
+
* July 2016: Daniel Stuewe
Height-size proofs in HOL/Data_Structures