1 (* Title: HOL/Lattices.thy
2 ID: $Id$
3 Author: Tobias Nipkow
2 Author: Tobias Nipkow
4 *)
3 *)
5
4
6 header {* Abstract lattices *}
5 header {* Abstract lattices *}
7
6