| Tue, 19 Sep 2023 13:12:13 +0200 | wenzelm | tuned (following 69c6d3e87660); | changeset | files |
| Tue, 19 Sep 2023 13:02:48 +0200 | wenzelm | tuned --- avoid pointless indirection (see also a2df9de46060); | changeset | files |
| Sun, 17 Sep 2023 18:56:35 +0100 | paulson | (pointlessly) get rid of some simp calls within "proof" | changeset | files |
| Sat, 16 Sep 2023 06:38:44 +0000 | haftmann | reduced prominence of lemma names | changeset | files |