author | boehmes |
Wed, 25 Nov 2009 12:31:43 +0100 | |
changeset 33896 | 4782d74e67ab |
parent 33895 | 3e7c51bbeb24 |
child 33897 | 6db9292f586a |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- a/CONTRIBUTORS Wed Nov 25 12:30:54 2009 +0100 +++ b/CONTRIBUTORS Wed Nov 25 12:31:43 2009 +0100 @@ -20,7 +20,7 @@ Predicate Compiler: a compiler for inductive predicates to equational specifications. -* November 2009: Sascha Boehme, TUM +* November 2009: Sascha Boehme and Burkhart Wolff, TUM HOL-Boogie: an interactive prover back-end for Boogie and VCC. * October 2009: Jasmin Blanchette, TUM