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