CONTRIBUTORS
changeset 57030 b592202a45cc
parent 56418 c267a0feb63a
child 57216 6cd8566e938e
     1.1 --- a/CONTRIBUTORS	Tue May 20 22:28:44 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Tue May 20 22:48:15 2014 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
     1.8 +  SML-based engines for MaSh.
     1.9 +
    1.10  * March 2014: René Thiemann
    1.11    Improved code generation for multisets.
    1.12  
    1.13 @@ -18,7 +21,7 @@
    1.14    a more polished "primcorec" command, optimizations, and integration in
    1.15    the "HOL" session.
    1.16  
    1.17 -* Winter 2014: Sascha Boehme, QAware GmbH, and Jasmin Blanchette, TUM
    1.18 +* Winter/Spring 2014: Sascha Boehme, QAware GmbH, and Jasmin Blanchette, TUM
    1.19    "SMT2" module and "smt2" proof method, based on SMT-LIB 2 and Z3 4.3.
    1.20  
    1.21  * January 2014: Lars Hupel, TUM