CONTRIBUTORS
changeset 51682 bdaa1582dc8b
parent 51489 f738e6dbd844
child 52266 86d6f57c2c1e
     1.1 --- a/CONTRIBUTORS	Wed Apr 10 17:49:16 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Apr 10 17:49:16 2013 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* April 2013: Stefan Berghofer, secunet Security Networks AG
     1.8 +  Dmitriy Traytel, TUM
     1.9 +  Makarius Wenzel, Université Paris-Sud / LRI
    1.10 +  Case translations as a separate check phase independent of the
    1.11 +  datatype package.
    1.12 +
    1.13  * March 2013: Florian Haftmann, TUM
    1.14    Reform of "big operators" on sets.
    1.15