--- a/src/HOL/Lattices.thy Wed Jan 21 16:47:04 2009 +0100 +++ b/src/HOL/Lattices.thy Wed Jan 21 16:47:31 2009 +0100 @@ -1,5 +1,4 @@ (* Title: HOL/Lattices.thy - ID: $Id$ Author: Tobias Nipkow *)