src/HOL/Library/Countable_Complete_Lattices.thy
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