src/HOL/Lattice/document/root.tex
2000-10-06 wenzelm 2000-10-06 * HOL/Lattice: fundamental concepts of lattice theory and order structures;