Peter Lammich: HOL-Lattice lemmas;
authorwenzelm
Mon Nov 26 22:59:21 2007 +0100 (2007-11-26)
changeset 25468d2c618390928
parent 25467 bba589a88022
child 25469 f81b3be9dfdd
Peter Lammich: HOL-Lattice lemmas;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Mon Nov 26 18:25:06 2007 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Nov 26 22:59:21 2007 +0100
     1.3 @@ -3,6 +3,12 @@
     1.4  who is listed as an author in one of the source files of this Isabelle
     1.5  distribution.
     1.6  
     1.7 +Contributions to this Isabelle version
     1.8 +--------------------------------------
     1.9 +
    1.10 +* November 2007: Peter Lammich, Uni Muenster
    1.11 +  HOL-Lattice: some more lemmas.
    1.12 +
    1.13  
    1.14  Contributions to Isabelle2007
    1.15  -----------------------------