| Sun, 18 Sep 2016 18:23:59 +0200 | Lars Hupel | tuned | changeset | files |
| 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 |