CONTRIBUTORS
changeset 26198 865bca530d4c
parent 25468 d2c618390928
child 26728 1cfa52844c56
equal deleted inserted replaced
26197:46e63f49c946 26198:865bca530d4c
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     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 
       
    12 * March 2008: Markus Reiter, TUM
       
    13   HOL/Library/RBT: red-black trees.
    11 
    14 
    12 
    15 
    13 Contributions to Isabelle2007
    16 Contributions to Isabelle2007
    14 -----------------------------
    17 -----------------------------
    15 
    18