CONTRIBUTORS
changeset 51682 bdaa1582dc8b
parent 51489 f738e6dbd844
child 52266 86d6f57c2c1e
equal deleted inserted replaced
51681:bdfa3b947992 51682:bdaa1582dc8b
     3 who is listed as an author in one of the source files of this Isabelle
     3 who is listed as an author in one of the source files of this Isabelle
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
       
     8 
       
     9 * April 2013: Stefan Berghofer, secunet Security Networks AG
       
    10   Dmitriy Traytel, TUM
       
    11   Makarius Wenzel, Université Paris-Sud / LRI
       
    12   Case translations as a separate check phase independent of the
       
    13   datatype package.
     8 
    14 
     9 * March 2013: Florian Haftmann, TUM
    15 * March 2013: Florian Haftmann, TUM
    10   Reform of "big operators" on sets.
    16   Reform of "big operators" on sets.
    11 
    17 
    12 * March 2013: Florian Haftmann, TUM
    18 * March 2013: Florian Haftmann, TUM