Mon, 06 Dec 2010 13:30:57 +0100 | blanchet | fixed bug in clause handling in monotonicity code, whereby the unsound rule False | x <--> False was used to simplify constraints | changeset | files |
Mon, 06 Dec 2010 13:30:38 +0100 | blanchet | started implementing the new monotonicity rules for application | changeset | files |