src/HOL/Algebra/Complete_Lattice.thy
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.