| 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 | changeset | files |
| Thu, 18 Jun 2020 09:07:30 +0000 | haftmann | more lemmas and less name space pollution | changeset | files |
| Thu, 18 Jun 2020 09:07:30 +0000 | haftmann | canonical bit shifts for word type, leaving duplicates as they are at the moment | changeset | files |
| Thu, 18 Jun 2020 09:07:30 +0000 | haftmann | essential instance about bit structure | changeset | files |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | more transfer rules | changeset | files |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | dropped yet another duplicate | changeset | files |