CONTRIBUTORS
changeset 26728 1cfa52844c56
parent 26198 865bca530d4c
child 26874 b2daa27fc0a7
equal deleted inserted replaced
26727:b0d3e33c5093 26728:1cfa52844c56
     7 --------------------------------------
     7 --------------------------------------
     8 
     8 
     9 * November 2007: Peter Lammich, Uni Muenster
     9 * November 2007: Peter Lammich, Uni Muenster
    10   HOL-Lattice: some more lemmas.
    10   HOL-Lattice: some more lemmas.
    11 
    11 
       
    12 * December 2007: Florian Haftmann, TUM
       
    13   Overloading and Instantiation Target
       
    14 
       
    15 * February 2008: Alexander Krauss, Florian Haftmann & Lukas Bulwahn, TUM
       
    16   and John Matthews, Galois: HOL/Library/Imperative_HOL: Haskell-style
       
    17   imperative data structures for HOL.
       
    18 
    12 * March 2008: Markus Reiter, TUM
    19 * March 2008: Markus Reiter, TUM
    13   HOL/Library/RBT: red-black trees.
    20   HOL/Library/RBT: red-black trees.
    14 
       
    15 
    21 
    16 Contributions to Isabelle2007
    22 Contributions to Isabelle2007
    17 -----------------------------
    23 -----------------------------
    18 
    24 
    19 * October 2007: Norbert Schirmer, TUM / Uni Saarbruecken
    25 * October 2007: Norbert Schirmer, TUM / Uni Saarbruecken