--- a/CONTRIBUTORS Sat Apr 05 10:01:07 2014 +0200
+++ b/CONTRIBUTORS Sat Apr 05 10:03:03 2014 +0200
@@ -9,6 +9,9 @@
* March 2014: René Thiemann
Improved code generation for multisets.
+* February 2014: Florian Haftmann, TUM
+ Permanent interpretation inside theory, locale and class targets with mixin definitions.
+
* Fall 2013 and Winter 2014: Lorenz Panny, Dmitriy Traytel, and
Jasmin Blanchette, TUM
Various improvements to the BNF-based (co)datatype package, including
@@ -22,6 +25,12 @@
An improved, interactive simplifier trace with integration into the
Isabelle/jEdit Prover IDE.
+* December 2013: Florian Haftmann, TUM
+ Consolidation of abstract interpretations concerning min and max.
+
+* November 2013: Florian Haftmann, TUM
+ Abolishment of negative numeral literals in the logic.
+
Contributions to Isabelle2013-1
-------------------------------