Sorry to bore you with this message, but I am out of the office until 8 July 2002 For urgent matters, please contact one of the following: - CWI Marja Hegt (Marja.Hegt@cwi.nl) - VR Jurriaan Mulder (mullie@cwi.nl) I may occasionally be reading mail and might even reply, but don't count on it! In any case I will get back to you ASAP. Thanks, -- Robert van Liere