Hi Norbert! >>>>> In <[🔎] 20061020150321.GA30676@gamma.logic.tuwien.ac.at> >>>>> Norbert Preining <preining@logic.at> wrote: > I have prepared an NMU which fixes this problem and some minor > problems. Thanks a lot! I chose to upload the new version by myself, based on your work. Best regards, MH -- Masayuki Hatta Graduate School of Economics, The University of Tokyo