CONTRIBUTORS
changeset 33649 854173fcd21c
parent 33627 ffb4a811e34d
child 33759 b369324fc244
     1.1 --- a/CONTRIBUTORS	Thu Nov 12 17:21:51 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Thu Nov 12 20:38:57 2009 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  
     1.5  Contributions to this Isabelle version
     1.6  --------------------------------------
     1.7 +
     1.8 +* November 2009: Stefan Berghofer, Lukas Bulwahn, TUM
     1.9 +  A tabled implementation of the reflexive transitive closure
    1.10 +
    1.11  * November 2009: Lukas Bulwahn, TUM
    1.12    Predicate Compiler: a compiler for inductive predicates to equational specfications
    1.13