CONTRIBUTORS
changeset 37383 22757d15cd86
parent 37303 0e4c721d4567
child 38461 75fc4087764e
equal deleted inserted replaced
37359:7b0ccc20cddc 37383:22757d15cd86
     1 For the purposes of the license agreement in the file COPYRIGHT, a
     1 For the purposes of the license agreement in the file COPYRIGHT, a
     2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
     2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
     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 
       
     6 Contributions to this Isabelle version
       
     7 --------------------------------------
       
     8 
     5 
     9 
     6 Contributions to Isabelle2009-2
    10 Contributions to Isabelle2009-2
     7 --------------------------------------
    11 --------------------------------------
     8 
    12 
     9 * 2009/2010: Stefan Berghofer, Alexander Krauss, and Andreas Schropp, TUM,
    13 * 2009/2010: Stefan Berghofer, Alexander Krauss, and Andreas Schropp, TUM,