On Sun, Aug 14, 2011 at 09:43, Yitzchak Gale <gale@sefer.org> wrote:
NO please don't do that. It would break all packages
that do, or soon will, use the semigroups
package.

Umm, I think the semigroups package will break everything that creates Monoid instances anyway.

--
brandon s allbery                                      allbery.b@gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms