src/HOL/Lattice/Orders.thy
2015-12-30 wenzelm 2015-12-30 isabelle update_cartouches -c -t;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2014-03-15 haftmann 2014-03-15 more complete set of lemmas wrt. image and composition
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;