--- 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.