CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Oct 02 15:13:41 2013 +0200
+++ b/CONTRIBUTORS	Wed Oct 02 15:53:20 2013 +0200
@@ -9,6 +9,9 @@
 * September 2013: Nik Sultana, University of Cambridge
   Improvements to HOL/TPTP parser and import facilities.
 
+* September 2013: Johannes Hölzl and Dmitriy Traytel, TUM
+  New "coinduction" method (residing in HOL-BNF) to avoid boilerplate.
+
 * Summer 2013: Makarius Wenzel, Université Paris-Sud / LRI
   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.