| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | removed outcommented example which seems not to work as advertized | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | clear separation of types for bits (False / True) and Z2 (0 / 1) | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | generalized type classes for parity to cover word types also, which contain zero divisors | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | slightly more specialized name for type class | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | dropped weaker legacy alias | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | slightly more stringent ordering of theorems | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | removed relics of ASCII syntax for indexed big operators | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | dropped former legacy input abbreviations | changeset | files |