Sat, 28 Mar 2015 21:32:48 +0100 | haftmann | clarified no_zero_devisors: makes only sense in a semiring; | changeset | files |
Sat, 28 Mar 2015 20:43:19 +0100 | haftmann | dropped long-outdated comments | changeset | files |
Sat, 28 Mar 2015 21:05:02 +0100 | wenzelm | merged | changeset | files |