| Fri, 03 Jul 2020 16:48:57 +0200 | wenzelm | clarified log message (more uniform); | changeset | files |
| Fri, 03 Jul 2020 06:18:29 +0000 | haftmann | misc lemma tuning | changeset | files |
| Fri, 03 Jul 2020 06:18:27 +0000 | haftmann | explicit proofs for bit projections | changeset | files |