Talk:PPMonoid

From ApCoCoAWiki

Revision as of 09:43, 16 July 2005 by 83.84.162.239 (talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

what about renaming into PPMonoid and adding it to the category CoCoALib ?

I'd think that is more useful

83.84.162.239 11:43, 16 Jul 2005 (CEST)

Retrieved from "https://app.apcocoa.uni-passau.de/wiki/index.php?title=Talk:PPMonoid&oldid=203"