src/HOL/Library/Countable_Complete_Lattices.thy
2016-02-23 nipkow 2016-02-23 more canonical names
2016-02-19 hoelzl 2016-02-19 remove lattice syntax from countable complete lattice
2016-02-18 hoelzl 2016-02-18 add countable complete lattices