| Sun, 18 Sep 2016 17:59:28 +0200 | wenzelm | clarified notation: iterated quantifier is negated as one chunk; | changeset | files |
| Sun, 18 Sep 2016 16:59:15 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 18 Sep 2016 15:19:50 +0200 | wenzelm | tuned; | changeset | files |