# HG changeset patch
# User kuncar
# Date 1430748757 -7200
# Node ID 2795bd5e502ed0601759332e68389f3995b40130
# Parent  29f4e4366cb126bc9c8b6c31f135935c1dc29d74
CONTRIBUTORS

diff -r 29f4e4366cb1 -r 2795bd5e502e CONTRIBUTORS
--- 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.