| 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 |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | fundamental construction of word type following existing transfer rules | changeset | files |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced mere alias by input abbreviation | changeset | files |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced mere alias by abbreviation | changeset | files |