[...] a short note about the treatment of variables in basic specs. I'll ask Bernd to consider it together with S-1 at the LD meeting in Paris. Cheers, Don [I've installed it in the CoFI archives, for FTP and WWW access, with label L-1. The URL is http://www.brics.dk/Projects/CoFI/Notes/L-1 --PDM]