Mon, 06 Dec 2010 13:30:38 +0100 | blanchet | started implementing the new monotonicity rules for application | changeset | files |
Mon, 06 Dec 2010 13:30:36 +0100 | blanchet | implemented connectives in new monotonicity calculus | changeset | files |
Mon, 06 Dec 2010 13:29:23 +0100 | blanchet | added "Neq" operator to monotonicity inference module | changeset | files |