Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Fri, 11 Apr 2014 18:17:21 +0200 | Gilles Duboscq | rename FalsePredicate to ContradictionPredicate |
age | author | description |
---|---|---|
Fri, 11 Apr 2014 18:17:21 +0200 | Gilles Duboscq | rename FalsePredicate to ContradictionPredicate |