CONTRIBUTORS
changeset 60301 ff82ba1893c8
parent 60138 b11401808dac
parent 60261 e0c3e11e9bea
child 60434 b050b557dbbe
     1.1 --- a/CONTRIBUTORS	Sat May 23 22:13:24 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Mon May 25 22:11:43 2015 +0200
     1.3 @@ -13,6 +13,10 @@
     1.4  * 2014/2015: Daniel Matichuk, Toby Murray, NICTA and Makarius Wenzel
     1.5    The Eisbach proof method language and "match" method.
     1.6  
     1.7 +* Winter 2014 and Spring 2015: Ondrej Kuncar, TUM
     1.8 +  Extension of lift_definition to execute lifted functions that have as a
     1.9 +  return type a datatype containing a subtype.
    1.10 +
    1.11  * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
    1.12    and Dmitriy Traytel, TUM
    1.13    More multiset theorems, syntax, and operations.