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 |