CONTRIBUTORS
changeset 54029 4edfd0fd5536
parent 54022 aae0163c01ea
child 54035 6332f6fae391
     1.1 --- a/CONTRIBUTORS	Wed Oct 02 15:13:41 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Oct 02 15:53:20 2013 +0200
     1.3 @@ -9,6 +9,9 @@
     1.4  * September 2013: Nik Sultana, University of Cambridge
     1.5    Improvements to HOL/TPTP parser and import facilities.
     1.6  
     1.7 +* September 2013: Johannes Hölzl and Dmitriy Traytel, TUM
     1.8 +  New "coinduction" method (residing in HOL-BNF) to avoid boilerplate.
     1.9 +
    1.10  * Summer 2013: Makarius Wenzel, Université Paris-Sud / LRI
    1.11    Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
    1.12