# HG changeset patch
# User blanchet
# Date 1400618895 -7200
# Node ID b592202a45cc3836b14ed8dafa9314b89dfddb00
# Parent  75cc30d2b83f2483b3e523723fec81960412a404
CONTRIBUTORS

diff -r 75cc30d2b83f -r b592202a45cc CONTRIBUTORS
--- a/CONTRIBUTORS	Tue May 20 22:28:44 2014 +0200
+++ b/CONTRIBUTORS	Tue May 20 22:48:15 2014 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
+  SML-based engines for MaSh.
+
 * March 2014: René Thiemann
   Improved code generation for multisets.
 
@@ -18,7 +21,7 @@
   a more polished "primcorec" command, optimizations, and integration in
   the "HOL" session.
 
-* Winter 2014: Sascha Boehme, QAware GmbH, and Jasmin Blanchette, TUM
+* Winter/Spring 2014: Sascha Boehme, QAware GmbH, and Jasmin Blanchette, TUM
   "SMT2" module and "smt2" proof method, based on SMT-LIB 2 and Z3 4.3.
 
 * January 2014: Lars Hupel, TUM