CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Feb 04 01:35:48 2014 +0100
+++ b/CONTRIBUTORS	Tue Feb 04 09:04:59 2014 +0000
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* January 2014: Lars Hupel, TUM
+  An improved, interactive simplifier trace with integration into the
+  Isabelle/jEdit Prover IDE.
 
 Contributions to Isabelle2013-1
 -------------------------------