extended list of HOL-Boogie contributors
authorboehmes
Wed Nov 25 12:31:43 2009 +0100 (2009-11-25)
changeset 338964782d74e67ab
parent 33895 3e7c51bbeb24
child 33897 6db9292f586a
extended list of HOL-Boogie contributors
CONTRIBUTORS
     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