CONTRIBUTORS
changeset 60260 2795bd5e502e
parent 60119 54bea620e54f
child 60261 e0c3e11e9bea
     1.1 --- a/CONTRIBUTORS	Mon May 04 16:04:28 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Mon May 04 16:12:37 2015 +0200
     1.3 @@ -9,6 +9,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 return type 
     1.9 +  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.