CONTRIBUTORS
changeset 33843 23d09560d56d
parent 33842 efa1b89c79e0
child 33862 fb95d9152fa9
     1.1 --- a/CONTRIBUTORS	Sun Nov 22 14:13:18 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Sun Nov 22 14:49:36 2009 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  
     1.5  * November 2009: Lukas Bulwahn, TUM
     1.6    Predicate Compiler: a compiler for inductive predicates to
     1.7 -  equational specfications.
     1.8 +  equational specifications.
     1.9   
    1.10  * November 2009: Sascha Boehme, TUM
    1.11    HOL-Boogie: an interactive prover back-end for Boogie and VCC.
    1.12 @@ -56,11 +56,11 @@
    1.13    for code generation.
    1.14  
    1.15  * June 2009: Florian Haftmann, TUM
    1.16 -  HOL/Library/Tree: searchtrees implementing mappings, ready to use
    1.17 +  HOL/Library/Tree: search trees implementing mappings, ready to use
    1.18    for code generation.
    1.19  
    1.20  * March 2009: Philipp Meyer, TUM
    1.21 -  Minimalization algorithm for results from sledgehammer call.
    1.22 +  Minimization tool for results from Sledgehammer.
    1.23  
    1.24  
    1.25  Contributions to Isabelle2009