src/HOL/Library/Lattice_Syntax.thy
10 months ago nipkow 2018-09-12 added spaces because otherwise nonatomic arguments look awful: BIGf x -> BIG f x
12 months ago haftmann 2018-07-18 slightly more canonical imports
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2015-12-28 wenzelm 2015-12-28 former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2011-09-10 haftmann 2011-09-10 renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc.
2010-12-08 haftmann 2010-12-08 bot comes before top, inf before sup etc.
2010-12-08 haftmann 2010-12-08 nice syntax for lattice INFI, SUPR; various *_apply rules for lattice operations on fun; more default simplification rules
2010-03-14 wenzelm 2010-03-14 expose formal text;
2009-07-22 haftmann 2009-07-22 moved complete_lattice &c. into separate theory
2009-03-08 haftmann 2009-03-08 added top and bot syntax
2009-03-07 haftmann 2009-03-07 suppress document output
2009-03-06 haftmann 2009-03-06 theory with syntax for lattice operations