log

age author description
Fri, 11 Apr 2014 18:17:21 +0200 Gilles Duboscq rename FalsePredicate to ContradictionPredicate