| Sat, 13 Apr 2019 16:26:19 +0200 | wenzelm | tuned signature -- more ctyp operations; | changeset | files |
| Sat, 13 Apr 2019 15:14:15 +0200 | wenzelm | merged | changeset | files |
| Sat, 13 Apr 2019 15:13:43 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
| Sat, 13 Apr 2019 08:43:33 +0000 | haftmann | backed out a93e6472ac9c, which does not bring anything substantial: division_ring is not commutative in multiplication but semidom_divide is | changeset | files |