[isabelle-dev] Unproven class relation finite_lattice_complete < countable
makarius at sketis.net
Sat Dec 29 19:45:51 CET 2012
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.
More information about the isabelle-dev