CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Sep 10 20:11:01 2013 +0200
+++ b/CONTRIBUTORS	Tue Sep 10 20:34:32 2013 +0200
@@ -9,6 +9,10 @@
 * September 2013: Nik Sultana, University of Cambridge
   Improvements to HOL/TPTP parser and import facilities.
 
+* Summer 2013: Manuel Eberl, TUM
+  Generation of elimination rules in the function package.
+  New command "fun_cases".
+
 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
   Jasmin Blanchette, TUM
   Various improvements to BNF-based (co)datatype package, including a