CONTRIBUTORS
changeset 33419 8ae45e87b992
parent 33203 322d928d9f8f
child 33627 ffb4a811e34d
     1.1 --- a/CONTRIBUTORS	Tue Nov 03 14:51:55 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Nov 03 17:54:24 2009 +0100
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* November 2009: Sascha Boehme, TUM
     1.8 +  HOL-Boogie: an interactive prover back-end for Boogie and VCC
     1.9 +
    1.10  * October 2009: Jasmin Blanchette, TUM
    1.11    Nitpick: yet another counterexample generator for Isabelle/HOL
    1.12