tuned;
authorwenzelm
Tue Nov 20 14:01:49 2007 +0100 (2007-11-20)
changeset 25449f3d5111a9c4b
parent 25448 3ac96dde7f31
child 25450 c3b26e533b21
tuned;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Tue Nov 20 13:59:23 2007 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Nov 20 14:01:49 2007 +0100
     1.3 @@ -22,7 +22,7 @@
     1.4  
     1.5  * June 2007: Amine Chaieb, TUM
     1.6    Semiring normalization and Groebner Bases.
     1.7 -  Support for dens linear orders.
     1.8 +  Support for dense linear orders.
     1.9  
    1.10  * June 2007: Joe Hurd, Oxford
    1.11    Metis theorem-prover.
    1.12 @@ -31,7 +31,7 @@
    1.13    HOL: Metis prover integration.
    1.14  
    1.15  * 2007: Stefan Berghofer, TUM
    1.16 -  HOL: inductive predicates.
    1.17 +  HOL: inductive predicates and sets.
    1.18  
    1.19  * 2007: Norbert Schirmer, TUM
    1.20    HOL/record: misc improvements.
    1.21 @@ -44,8 +44,8 @@
    1.22    Pure: class package.
    1.23    HOL: theory reorganization, code generator setup.
    1.24  
    1.25 -* 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and Julien
    1.26 -  Narboux, TUM
    1.27 +* 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and
    1.28 +    Julien Narboux, TUM
    1.29    HOL/Nominal package and related tools.
    1.30  
    1.31  * November 2006: Lukas Bulwahn, TUM