| Thu, 28 Jul 2022 19:14:49 +0200 | haftmann | More lemmas. | file | diff | annotate |
| Thu, 28 Jul 2022 16:50:15 +0200 | haftmann | Some more proofs. | file | diff | annotate |
| Wed, 06 Jul 2022 09:33:53 +0000 | haftmann | sketch for word-specific lsb and msb | file | diff | annotate |