CONTRIBUTORS
changeset 41651 c78b786fe060
parent 41596 e424bc65080d
child 44801 a0459c50cfc9
child 44818 27ba81ad0890
equal deleted inserted replaced
41603:54a4512e29a6 41651:c78b786fe060
     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 Isabelle2011
    10 Contributions to Isabelle2011
     7 -----------------------------
    11 -----------------------------
     8 
    12 
     9 * January 2011: Stefan Berghofer, secunet Security Networks AG
    13 * January 2011: Stefan Berghofer, secunet Security Networks AG