| Mon, 20 Sep 2021 15:11:13 +0200 | wenzelm | merged | changeset | files |
| Mon, 20 Sep 2021 13:52:09 +0200 | wenzelm | tuned proofs --- eliminated 'guess'; | changeset | files |
| Mon, 20 Sep 2021 13:51:32 +0200 | wenzelm | tuned proofs; | changeset | files |
| 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 |
| Sun, 19 Sep 2021 21:47:10 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Sun, 19 Sep 2021 21:37:14 +0200 | wenzelm | clarified signature -- prefer antiquotations (with subtle change of exception content); | changeset | files |