Sat, 10 Mar 2012 11:21:04 +0000 Mario de Sousa Bringing comment up to date.
Fri, 09 Mar 2012 17:58:19 +0000 Mario de Sousa Semantic verification of NOT operator.