# HG changeset patch
# User haftmann
# Date 1396684983 -7200
# Node ID b9baecff06845537b2e023e409bd8a479099ac41
# Parent  f61a0f7cbde5c3a213b2b9d6df3e40fdcdd483b2
CONTRIBUTORS

diff -r f61a0f7cbde5 -r b9baecff0684 CONTRIBUTORS
--- 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
 -------------------------------