| Tue, 28 Apr 2020 18:34:59 +0200 | nipkow | use abs(h l - h r) instead of 3 cases, tuned proofs | changeset | files |
| Mon, 27 Apr 2020 23:39:15 +0200 | nipkow | added lemmas | changeset | files |
| Mon, 27 Apr 2020 16:18:51 +0000 | haftmann | simplified construction of binary bit operations | changeset | files |
| Sat, 25 Apr 2020 13:26:25 +0000 | haftmann | temporarily revert change which does not work as expected | changeset | files |