diff -r 67792e4a5486 -r eca7b38c8ee5 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Jan 19 07:59:29 2016 +0100
+++ b/CONTRIBUTORS	Tue Jan 19 11:19:25 2016 +0100
@@ -6,6 +6,10 @@
 Contributions to Isabelle2016
 -----------------------------
 
+* Winter 2016: Manuel Eberl, TUM
+  Support for real exponentiation ("powr") in the "approximation" method.
+  (This was removed in Isabelle 2015 due to a changed definition of "powr")
+
 * Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
   Proof of the central limit theorem: includes weak convergence,
   characteristic functions, and Levy's uniqueness and continuity theorem.