CONTRIBUTORS
changeset 33862 fb95d9152fa9
parent 33843 23d09560d56d
child 33896 4782d74e67ab
equal deleted inserted replaced
33861:39c939449d06 33862:fb95d9152fa9
     5 
     5 
     6 
     6 
     7 Contributions to Isabelle2009-1
     7 Contributions to Isabelle2009-1
     8 -------------------------------
     8 -------------------------------
     9 
     9 
       
    10 * November 2009, Brian Huffman, PSU
       
    11   New definitional domain package for HOLCF.
       
    12 
    10 * November 2009: Robert Himmelmann, TUM
    13 * November 2009: Robert Himmelmann, TUM
    11   Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
    14   Derivation and Brouwer's fixpoint theorem in Multivariate Analysis.
    12 
    15 
    13 * November 2009: Stefan Berghofer and Lukas Bulwahn, TUM
    16 * November 2009: Stefan Berghofer and Lukas Bulwahn, TUM
    14   A tabled implementation of the reflexive transitive closure.
    17   A tabled implementation of the reflexive transitive closure.
    15 
    18 
    16 * November 2009: Lukas Bulwahn, TUM
    19 * November 2009: Lukas Bulwahn, TUM