1.1 --- a/CONTRIBUTORS	Wed Nov 25 12:30:54 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Nov 25 12:31:43 2009 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4    Predicate Compiler: a compiler for inductive predicates to
     1.5    equational specifications.
     1.6   
     1.7 -* November 2009: Sascha Boehme, TUM
     1.8 +* November 2009: Sascha Boehme and Burkhart Wolff, TUM
     1.9    HOL-Boogie: an interactive prover back-end for Boogie and VCC.
    1.10  
    1.11  * October 2009: Jasmin Blanchette, TUM