# HG changeset patch
# User blanchet
# Date 1402494249 -7200
# Node ID 6cd8566e938e3f124b3057658ba76f666fffdf7e
# Parent  6fc0e3d4e1e5ff6702d5cc5608affc9692049313
updated contributors to include students

diff -r 6fc0e3d4e1e5 -r 6cd8566e938e CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Jun 11 15:29:23 2014 +0200
+++ b/CONTRIBUTORS	Wed Jun 11 15:44:09 2014 +0200
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
+  Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
+  Waldmeister, etc.).
+
 * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
   SML-based engines for MaSh.
 
@@ -15,8 +19,8 @@
 * 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
+* Fall 2013 and Winter 2014: Martin Desharnais, Lorenz Panny, Dmitriy Traytel,
+  and Jasmin Blanchette, TUM
   Various improvements to the BNF-based (co)datatype package, including
   a more polished "primcorec" command, optimizations, and integration in
   the "HOL" session.