Thu, 27 Dec 2012 15:04:58 +0000 Mario de Sousa merge
Mon, 24 Dec 2012 16:56:08 +0100 Manuele Conti Fix comment about meet semilattice rules.