src/HOL/Lattice/Orders.thy
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2001-11-09 wenzelm 2001-11-09 eliminated old "symbols" syntax, use "xsymbols" instead;
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2000-10-23 wenzelm 2000-10-23 intro_classes by default;
2000-10-06 wenzelm 2000-10-06 * HOL/Lattice: fundamental concepts of lattice theory and order structures;