--- 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