| author | kuncar |
| Mon, 23 Apr 2012 18:42:05 +0200 | |
| changeset 47700 | 27a04da9c6e6 |
| parent 47699 | bb6b147c6531 |
| child 47701 | 157e6108a342 |
| child 47703 | 400fccb77ec8 |
| child 47704 | 8b4cd98f944e |
| CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- 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).