tuned affiliation;
authorwenzelm
Wed Nov 25 15:04:20 2009 +0100 (2009-11-25)
changeset 338976db9292f586a
parent 33896 4782d74e67ab
child 33898 2ca2693a8c10
tuned affiliation;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Wed Nov 25 12:31:43 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Nov 25 15:04:20 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 and Burkhart Wolff, TUM
     1.8 +* November 2009: Sascha Boehme, TUM and Burkhart Wolff, LRI Paris
     1.9    HOL-Boogie: an interactive prover back-end for Boogie and VCC.
    1.10  
    1.11  * October 2009: Jasmin Blanchette, TUM