CONTRIBUTORS
changeset 54055 5bf55a713232
parent 54051 cdba71c67860
child 54384 50199af40c27
equal deleted inserted replaced
54054:c37100233af7 54055:5bf55a713232
     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 Isabelle2013-1
    10 Contributions to Isabelle2013-1
     7 -------------------------------
    11 -------------------------------
     8 
    12 
     9 * September 2013: Nik Sultana, University of Cambridge
    13 * September 2013: Nik Sultana, University of Cambridge