| Thu, 31 Oct 2019 09:02:02 +0000 | haftmann | more lemmas | file | diff | annotate |
| Wed, 23 Oct 2019 16:09:23 +0000 | haftmann | tuned syntax | file | diff | annotate |
| Tue, 22 Oct 2019 19:07:11 +0000 | haftmann | bit operations for word type | file | diff | annotate |
| Sat, 19 Oct 2019 09:15:41 +0000 | haftmann | added quickcheck setup | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:28 +0000 | haftmann | more theorems for proof of concept for word type | file | diff | annotate |
| Tue, 16 Apr 2019 19:50:07 +0000 | haftmann | tuned | file | diff | annotate |
| Thu, 05 Apr 2018 06:15:02 +0000 | haftmann | even more on bit operations | file | diff | annotate |