diff -r d0cced9cdeae -r e424bc65080d CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Jan 16 20:55:48 2011 +0100
+++ b/CONTRIBUTORS	Sun Jan 16 21:05:10 2011 +0100
@@ -20,20 +20,20 @@
   partial orders in HOL.
 
 * September 2010: Florian Haftmann, TUM
-  Refined concepts for evaluation, i.e., normalisation of terms using
+  Refined concepts for evaluation, i.e., normalization of terms using
   different techniques.
 
 * September 2010: Florian Haftmann, TUM
   Code generation for Scala.
 
 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM
-  Rewriting the Probability theory.
+  Improved Probability theory in HOL.
 
 * July 2010: Florian Haftmann, TUM
   Reworking and extension of the Imperative HOL framework.
 
-* July 2010: Alexander Krauss, TUM and Christian Sternagel, University of
-    Innsbruck
+* July 2010: Alexander Krauss, TUM and Christian Sternagel, University
+    of Innsbruck
   Ad-hoc overloading. Generic do notation for monads.