src/HOL/Lattice/Orders.thy
2010-11-22 hoelzl 2010-11-22 Replace surj by abbreviation; remove surj_on.
2010-09-08 haftmann 2010-09-08 modernized primrec
2010-07-01 haftmann 2010-07-01 "prod" and "sum" replace "*" and "+" respectively
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-09-13 krauss 2006-09-13 Major update to function package, including new syntax and the (only theoretical) ability to handle local contexts.
2006-05-27 wenzelm 2006-05-27 tuned;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
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;