src/HOL/Lattice/Bounds.thy
2001-04-24 paulson 2001-04-24 removal of image_Collect as a default simprule
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2000-10-06 wenzelm 2000-10-06 * HOL/Lattice: fundamental concepts of lattice theory and order structures;