| Fri, 19 Jun 2020 09:46:47 +0000 | haftmann | prefer single name | changeset | files |
| Thu, 18 Jun 2020 09:07:54 +0000 | haftmann | more lemmas | changeset | files |
| Thu, 18 Jun 2020 09:07:30 +0000 | haftmann | build bit operations on word on library theory on bit operations | changeset | files |
| Thu, 18 Jun 2020 09:07:30 +0000 | haftmann | bit operations as distinctive library theory | changeset | files |
| Thu, 18 Jun 2020 09:07:30 +0000 | haftmann | tweak for code generation | changeset | files |
| 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 |