CONTRIBUTORS
changeset 33627 ffb4a811e34d
parent 33419 8ae45e87b992
child 33649 854173fcd21c
equal deleted inserted replaced
33626:42f69386943a 33627:ffb4a811e34d
     4 distribution.
     4 distribution.
     5 
     5 
     6 
     6 
     7 Contributions to this Isabelle version
     7 Contributions to this Isabelle version
     8 --------------------------------------
     8 --------------------------------------
     9 
     9 * November 2009: Lukas Bulwahn, TUM
       
    10   Predicate Compiler: a compiler for inductive predicates to equational specfications
       
    11  
    10 * November 2009: Sascha Boehme, TUM
    12 * November 2009: Sascha Boehme, TUM
    11   HOL-Boogie: an interactive prover back-end for Boogie and VCC
    13   HOL-Boogie: an interactive prover back-end for Boogie and VCC
    12 
    14 
    13 * October 2009: Jasmin Blanchette, TUM
    15 * October 2009: Jasmin Blanchette, TUM
    14   Nitpick: yet another counterexample generator for Isabelle/HOL
    16   Nitpick: yet another counterexample generator for Isabelle/HOL