log

age author description
Fri, 11 Apr 2014 18:17:21 +0200 Gilles Duboscq rename FalsePredicate to ContradictionPredicate
Fri, 11 Apr 2014 18:16:32 +0200 Gilles Duboscq Simplify NodePredicates (use overrides instead of if cascades)
Fri, 11 Apr 2014 18:01:21 +0200 Gilles Duboscq Make NodePredicate an interface