On Mon, Oct 18, 2010 at 3:57 PM, Martin Geisler <mg at aragost.com> wrote: > See, that is a good question... :) I guess you should not see the 'M > sub/' line in that case, so the output would be you could have: M sub/ A sub/ (for each class of operations on sub/)