CONTRIBUTORS
changeset 33759 b369324fc244
parent 33649 854173fcd21c
child 33842 efa1b89c79e0
equal deleted inserted replaced
33758:53078b0d21f5 33759:b369324fc244
     4 distribution.
     4 distribution.
     5 
     5 
     6 
     6 
     7 Contributions to this Isabelle version
     7 Contributions to this Isabelle version
     8 --------------------------------------
     8 --------------------------------------
       
     9 
       
    10 * November 2009: Robert Himmelmann, TUM
       
    11   Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
     9 
    12 
    10 * November 2009: Stefan Berghofer, Lukas Bulwahn, TUM
    13 * November 2009: Stefan Berghofer, Lukas Bulwahn, TUM
    11   A tabled implementation of the reflexive transitive closure
    14   A tabled implementation of the reflexive transitive closure
    12 
    15 
    13 * November 2009: Lukas Bulwahn, TUM
    16 * November 2009: Lukas Bulwahn, TUM