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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
