CONTRIBUTORS
changeset 60119 54bea620e54f
parent 60012 0c307c5c03f0
child 60138 b11401808dac
child 60260 2795bd5e502e
     1.1 --- a/CONTRIBUTORS	Fri Apr 17 16:54:25 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Apr 17 17:49:19 2015 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to Isabelle2015
     1.5  -----------------------------
     1.6  
     1.7 +* 2014/2015: Daniel Matichuk, Toby Murray, NICTA and Makarius Wenzel
     1.8 +  The Eisbach proof method language and "match" method.
     1.9 +
    1.10  * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
    1.11    and Dmitriy Traytel, TUM
    1.12    More multiset theorems, syntax, and operations.