| 2020-06-19 | haftmann | prefer single name | changeset | files |
| 2020-06-18 | haftmann | more lemmas | changeset | files |
| 2020-06-18 | haftmann | build bit operations on word on library theory on bit operations | changeset | files |
| 2020-06-18 | haftmann | bit operations as distinctive library theory | changeset | files |
| 2020-06-18 | haftmann | tweak for code generation | changeset | files |
| 2020-06-18 | haftmann | pragmatically ruled out word types of length zero: a bit string with no bits is not bit string at all | changeset | files |
| 2020-06-18 | haftmann | more lemmas and less name space pollution | changeset | files |
| 2020-06-18 | haftmann | canonical bit shifts for word type, leaving duplicates as they are at the moment | changeset | files |
| Loading... | |||