--- a/CONTRIBUTORS Mon May 04 16:04:28 2015 +0200
+++ b/CONTRIBUTORS Mon May 04 16:12:37 2015 +0200
@@ -9,6 +9,10 @@
* 2014/2015: Daniel Matichuk, Toby Murray, NICTA and Makarius Wenzel
The Eisbach proof method language and "match" method.
+* Winter 2014 and Spring 2015: Ondrej Kuncar, TUM
+ Extension of lift_definition to execute lifted functions that have as a return type
+ a datatype containing a subtype.
+
* March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
and Dmitriy Traytel, TUM
More multiset theorems, syntax, and operations.