On Fri, Dec 5, 2008 at 3:58 PM, Oliver Kullmann
<O.Kullmann at swansea.ac.uk> wrote:
> Actually, this seems only necessary for map-applications, i.e., replacing
> map("{", ...)
> by
> map(set, ...)
>
> which actually seems preferable (since more readable).
OK, I see now what is the problem. I'll fix it this weekend.
Thanks for pointing it out.
Robert