Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | added examples to exercise new monotonicity code | changeset | files |
Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | fixed quantifier handling of new monotonicity calculus | changeset | files |
Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | tune parentheses and indentation | changeset | files |
Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | proper handling of frames for connectives in monotonicity calculus | changeset | files |
Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | tune indentation | changeset | files |
Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | removed old baggage from monotonicity calculus -- the "calculus" option didn't really work anyway because of on-the-fly simplifications | changeset | files |