CONTRIBUTORS
changeset 33627 ffb4a811e34d
parent 33419 8ae45e87b992
child 33649 854173fcd21c
     1.1 --- a/CONTRIBUTORS	Thu Nov 12 09:11:26 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Thu Nov 12 09:11:31 2009 +0100
     1.3 @@ -6,7 +6,9 @@
     1.4  
     1.5  Contributions to this Isabelle version
     1.6  --------------------------------------
     1.7 -
     1.8 +* November 2009: Lukas Bulwahn, TUM
     1.9 +  Predicate Compiler: a compiler for inductive predicates to equational specfications
    1.10 + 
    1.11  * November 2009: Sascha Boehme, TUM
    1.12    HOL-Boogie: an interactive prover back-end for Boogie and VCC
    1.13