CONTRIBUTORS
changeset 24799 dff164b6f2a6
parent 24333 e77ea0ea7f2c
child 24803 38577b4b1fde
     1.1 --- a/CONTRIBUTORS	Mon Oct 01 19:43:34 2007 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Oct 01 19:52:07 2007 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4 -For the purposes of the license agreement in the file COPYRIGHT, a 
     1.5 -'contributor' is anybody who is listed in this file (CONTRIBUTORS) or 
     1.6 +For the purposes of the license agreement in the file COPYRIGHT, a
     1.7 +'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
     1.8  who is listed as an author in one of the source files of this Isabelle
     1.9  distribution.
    1.10  
    1.11 @@ -7,32 +7,40 @@
    1.12  Contributions to Isabelle 2007
    1.13  ------------------------------
    1.14  
    1.15 -* August 2007: Jeremy Dawson, NICTA,
    1.16 -               Paul Graunke, Galois, 
    1.17 -               Brian Huffman, PSU,
    1.18 -               Gerwin Klein, NICTA, 
    1.19 -               John Matthews, Galois
    1.20 +* August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian
    1.21 +    Huffman, PSU and Gerwin Klein, NICTA and John Matthews, Galois
    1.22    HOL-Word: a library for fixed-size machine words in Isabelle.
    1.23  
    1.24  * August 2007: Brian Huffman, PSU
    1.25 -  HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type
    1.26 +  HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type.
    1.27  
    1.28  * June 2007: Amine Chaieb, TUM
    1.29 -  Semiring normalization and Groebner Bases
    1.30 +  Semiring normalization and Groebner Bases.
    1.31 +  Support for dens linear orders.
    1.32  
    1.33  * June 2007: Joe Hurd, Oxford
    1.34 -  Metis theorem-prover
    1.35 +  Metis theorem-prover.
    1.36 +
    1.37 +* 2007: Kong W. Susanto, Cambridge
    1.38 +  HOL: Metis prover integration.
    1.39  
    1.40 -* 2006/2007: Kong W. Susanto, Cambridge
    1.41 -  HOL: Metis prover integration.
    1.42 +* 2007: Stefan Berghofer, TUM
    1.43 +  HOL: inductive predicates.
    1.44 +
    1.45 +* 2006/2007: Alexander Krauss, TUM
    1.46 +  HOL: function package and related theories on termination.
    1.47  
    1.48  * 2006/2007: Florian Haftmann, TUM
    1.49    Pure: generic code generator framework.
    1.50    Pure: class package.
    1.51 -  HOL: theory tuning, code generator setup.
    1.52 +  HOL: theory reorganization, code generator setup.
    1.53 +
    1.54 +* 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and Julien
    1.55 +  Narboux, TUM
    1.56 +  HOL/Nominal package and related tools.
    1.57  
    1.58  * November 2006: Lukas Bulwahn, TUM
    1.59 -  HOL/function: method "lexicographic_order".
    1.60 +  HOL: method "lexicographic_order" for function package.
    1.61  
    1.62  * October 2006: Stefan Hohe, TUM
    1.63    HOL-Algebra: ideals and quotients over rings.