CONTRIBUTORS
changeset 59813 6320064f22bb
parent 59092 d469103c0737
child 59980 070f04c94b2e
     1.1 --- a/CONTRIBUTORS	Fri Dec 05 12:06:18 2014 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Mar 25 17:51:34 2015 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII, and Dmitriy Traytel, TUM
     1.8 +  More multiset theorems, syntax, and operations.
     1.9 +
    1.10  * December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM and Jeremy Avigad, Luke Serafin, CMU
    1.11    Various integration theorems: mostly integration on intervals and substitution.
    1.12