Peter Lammich: HOL-Lattice lemmas;

--- a/CONTRIBUTORS	Mon Nov 26 18:25:06 2007 +0100
+++ b/CONTRIBUTORS	Mon Nov 26 22:59:21 2007 +0100
@@ -3,6 +3,12 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
+Contributions to this Isabelle version
+--------------------------------------
+
+* November 2007: Peter Lammich, Uni Muenster
+  HOL-Lattice: some more lemmas.
+
 
 Contributions to Isabelle2007
 -----------------------------