Mon, 24 Dec 2012 16:56:08 +0100 Manuele Conti Fix comment about meet semilattice rules.