| Sun, 18 Sep 2016 20:33:48 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 18 Sep 2016 18:36:37 +0200 | Lars Hupel | merged | changeset | files |
| 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 |
| Sun, 18 Sep 2016 15:19:50 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 18 Sep 2016 15:16:42 +0200 | wenzelm | clarified notation; | changeset | files |
| Sun, 18 Sep 2016 11:31:19 +0200 | fleury | support replicate_mset in multiset simproc | changeset | files |
| Sun, 18 Sep 2016 11:31:18 +0200 | fleury | tuning multiset simproc | changeset | files |
| Sat, 17 Sep 2016 11:41:13 +0200 | Lars Hupel | repair LaTeX dropout from f83ef97d8d7d | changeset | files |
| Fri, 16 Sep 2016 12:30:55 +0200 | haftmann | prefer abbreviation for trivial set conversion | changeset | files |
| Fri, 16 Sep 2016 12:30:55 +0200 | haftmann | more lemmas | changeset | files |