diff -r efa1b89c79e0 -r 23d09560d56d CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Nov 22 14:13:18 2009 +0100
+++ b/CONTRIBUTORS	Sun Nov 22 14:49:36 2009 +0100
@@ -15,7 +15,7 @@
 
 * November 2009: Lukas Bulwahn, TUM
   Predicate Compiler: a compiler for inductive predicates to
-  equational specfications.
+  equational specifications.
  
 * November 2009: Sascha Boehme, TUM
   HOL-Boogie: an interactive prover back-end for Boogie and VCC.
@@ -56,11 +56,11 @@
   for code generation.
 
 * June 2009: Florian Haftmann, TUM
-  HOL/Library/Tree: searchtrees implementing mappings, ready to use
+  HOL/Library/Tree: search trees implementing mappings, ready to use
   for code generation.
 
 * March 2009: Philipp Meyer, TUM
-  Minimalization algorithm for results from sledgehammer call.
+  Minimization tool for results from Sledgehammer.
 
 
 Contributions to Isabelle2009