# HG changeset patch
# User haftmann
# Date 1605424625 0
# Node ID e7ee815b04bf2a84cfb209163e1dbe42e0b328e5
# Parent  a4cb880e873ace57de2056a8faffc2e3daeed123
CONTRIBUTORS

diff -r a4cb880e873a -r e7ee815b04bf CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Nov 15 07:17:05 2020 +0000
+++ b/CONTRIBUTORS	Sun Nov 15 07:17:05 2020 +0000
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* November 2020: Florian Haftmann
+  Bundle mixins for locale and class expressions.
+
 * October 2020: Jasmin Blanchette, Martin Desharnais, Mathias Fleury
   Use veriT in proof preplay in Sledgehammer.
 
@@ -15,6 +18,10 @@
 * October 2020: Jasmin Blanchette, Martin Desharnais
   Integration of E 2.5 for Sledgehammer.
 
+* September 2020: Florian Haftmann
+  Substantial reworking and modularization of Word library, with
+  generic type conversions.
+
 * August 2020: Makarius Wenzel
   Improved monitoring of runtime statistics: ML GC progress and Java.
 
@@ -24,6 +31,10 @@
 * June 2020: Makarius Wenzel
   Batch-builds via "isabelle build" allow to invoke Scala from ML.
 
+* June 2020: Florian Haftmann
+  Simproc defined_all for more aggressive substitution with variables
+  from assumptions.
+
 * May 2020: Makarius Wenzel
   Antiquotations for Isabelle systems programming, notably @{scala_function}
   and @{scala} to invoke Scala from ML.
@@ -31,14 +42,6 @@
 * May 2020: Florian Haftmann
   Generic algebraically founded bit operations NOT, AND, OR, XOR.
 
-* Sept. 2020: Florian Haftmann
-  Substantial reworking and modularization of Word library, with
-  generic type conversions.
-
-* June 2020: Florian Haftmann
-  Simproc defined_all for more aggressive substitution with variables
-  from assumptions.
-
 
 Contributions to Isabelle2020
 -----------------------------