src/HOL/Algebra/Complete_Lattice.thy
12 months ago paulson 2018-06-24 more modernisaton and de-applying
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
18 months ago nipkow 2018-01-05 tuned op
19 months ago wenzelm 2017-12-19 isabelle update_cartouches -c -t;
19 months ago wenzelm 2017-11-26 more symbols;
22 months ago ballarin 2017-08-31 Avoid \mu and \nu as constant syntax, use LFP and GFP instead.
22 months ago ballarin 2017-08-31 Revert 5a42eddc11c1.
23 months ago haftmann 2017-08-24 swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
2017-06-24 ballarin 2017-06-24 Additional corollary Knaster_Tarski_idem_inf_eq.
2017-03-02 ballarin 2017-03-02 Knaster-Tarski fixed point theorem and Galois Connections.