| Mon, 06 Jul 2020 10:47:30 +0000 | haftmann | separation of traditional bit operations | file | diff | annotate |
| Sat, 04 Jul 2020 20:45:24 +0000 | haftmann | factored out auxiliary theory | file | diff | annotate |
| Wed, 01 Jul 2020 17:32:11 +0000 | haftmann | moved to Word_Lib | file | diff | annotate |
| Thu, 18 Jun 2020 09:07:30 +0000 | haftmann | pragmatically ruled out word types of length zero: a bit string with no bits is not bit string at all | file | diff | annotate |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced mere alias by abbreviation | file | diff | annotate |
| Tue, 16 Apr 2019 19:50:18 +0000 | haftmann | tuned theory names | file | diff | annotate | base |