On 12/16/2012 12:59 PM, André Warnier wrote: > Is there a difference ? no
> If not, what was the idea in defining some of them twice with a > different name ? I think mostly historical. Mp1 already had these overlapping sets. In the beginning mp2 tried to be as compatible as possible to mp1. Torsten
