| Mon, 20 Sep 2021 11:35:27 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Mon, 20 Sep 2021 10:22:59 +0200 | desharna | proper firstorderization in Sledgehammer | changeset | files |
| Sun, 19 Sep 2021 21:55:11 +0200 | wenzelm | clarified signature; | changeset | files |