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 -* 2006/2007: Kong W. Susanto, Cambridge
1.38 +* 2007: Kong W. Susanto, Cambridge
1.39 HOL: Metis prover integration.
1.40
1.41 +* 2007: Stefan Berghofer, TUM
1.42 + HOL: inductive predicates.
1.43 +
1.44 +* 2006/2007: Alexander Krauss, TUM
1.45 + HOL: function package and related theories on termination.
1.46 +
1.47 * 2006/2007: Florian Haftmann, TUM
1.48 Pure: generic code generator framework.
1.49 Pure: class package.
1.50 - HOL: theory tuning, code generator setup.
1.51 + HOL: theory reorganization, code generator setup.
1.52 +
1.53 +* 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and Julien
1.54 + Narboux, TUM
1.55 + HOL/Nominal package and related tools.
1.56
1.57 * November 2006: Lukas Bulwahn, TUM
1.58 - HOL/function: method "lexicographic_order".
1.59 + HOL: method "lexicographic_order" for function package.
1.60
1.61 * October 2006: Stefan Hohe, TUM
1.62 HOL-Algebra: ideals and quotients over rings.