[isabelle-dev] Unproven class relation finite_lattice_complete < countable

[Makarius]

On Sat, 29 Dec 2012, Tobias Nipkow wrote:

> I have just added a new theory Library/Finite_Lattice.

Just to make "just" well-defined: it refers to Isabelle/009a9fdabbad.


 	Makarius