src/HOL/Library/Countable_Complete_Lattices.thy
8 months ago haftmann 2018-11-18 removed legacy input syntax
8 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
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