# HG changeset patch
# User wenzelm
# Date 1195563709 -3600
# Node ID f3d5111a9c4bd045db8d8290d49ef1f8b4e6da3b
# Parent  3ac96dde7f311d8de44d4fb4e9ea8ab56beaec25
tuned;

diff -r 3ac96dde7f31 -r f3d5111a9c4b CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Nov 20 13:59:23 2007 +0100
+++ b/CONTRIBUTORS	Tue Nov 20 14:01:49 2007 +0100
@@ -22,7 +22,7 @@
 
 * June 2007: Amine Chaieb, TUM
   Semiring normalization and Groebner Bases.
-  Support for dens linear orders.
+  Support for dense linear orders.
 
 * June 2007: Joe Hurd, Oxford
   Metis theorem-prover.
@@ -31,7 +31,7 @@
   HOL: Metis prover integration.
 
 * 2007: Stefan Berghofer, TUM
-  HOL: inductive predicates.
+  HOL: inductive predicates and sets.
 
 * 2007: Norbert Schirmer, TUM
   HOL/record: misc improvements.
@@ -44,8 +44,8 @@
   Pure: class package.
   HOL: theory reorganization, code generator setup.
 
-* 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and Julien
-  Narboux, TUM
+* 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and
+    Julien Narboux, TUM
   HOL/Nominal package and related tools.
 
 * November 2006: Lukas Bulwahn, TUM