CONTRIBUTORS
changeset 47700 27a04da9c6e6
parent 47695 89a90da149a9
child 47808 04a6a6c03eea
     1.1 --- a/CONTRIBUTORS	Mon Apr 23 18:42:03 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Apr 23 18:42:05 2012 +0200
     1.3 @@ -30,6 +30,9 @@
     1.4  * January 2012: Florian Haftmann, TUM, et al.
     1.5    (Re-)Introduction of the "set" type constructor.
     1.6  
     1.7 +* 2012: Ondrej Kuncar, TUM
     1.8 +  New package Lifting, various improvements and refinements to the Quotient package.
     1.9 +
    1.10  * 2011/2012: Jasmin Blanchette, TUM
    1.11    Various improvements to Sledgehammer, notably: tighter integration
    1.12    with SPASS, support for more provers (Alt-Ergo, iProver, iProver-Eq).