Mon, 24 Dec 2012 16:56:08 +0100 Manuele Conti Fix comment about meet semilattice rules.
Sat, 22 Dec 2012 19:34:57 +0100 Manuele Conti Complete fix initialize const_value.