# HG changeset patch
# User wenzelm
# Date 1196114361 -3600
# Node ID d2c6183909287899062b7c12deb07fb3aea7a468
# Parent  bba589a880220020d25d0449c527685304d8b9f1
Peter Lammich: HOL-Lattice lemmas;

diff -r bba589a88022 -r d2c618390928 CONTRIBUTORS
--- 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
 -----------------------------