# HG changeset patch
# User kuncar
# Date 1335199325 -7200
# Node ID 27a04da9c6e65909e318ee27639f91aad54269ba
# Parent  bb6b147c65315f242c0a2857fc90948a04b12256
CONTRIBUTORS

diff -r bb6b147c6531 -r 27a04da9c6e6 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Apr 23 18:42:03 2012 +0200
+++ b/CONTRIBUTORS	Mon Apr 23 18:42:05 2012 +0200
@@ -30,6 +30,9 @@
 * January 2012: Florian Haftmann, TUM, et al.
   (Re-)Introduction of the "set" type constructor.
 
+* 2012: Ondrej Kuncar, TUM
+  New package Lifting, various improvements and refinements to the Quotient package.
+
 * 2011/2012: Jasmin Blanchette, TUM
   Various improvements to Sledgehammer, notably: tighter integration
   with SPASS, support for more provers (Alt-Ergo, iProver, iProver-Eq).