Hi, thanks for the explanations. <snip>
> Can you please provide me a link to your earlier message > about hierarchy of ETRs? There was a thread "Idea for shooting down" in November 2007. The thread started at http://psg.com/lists/rrg/2007/msg00556.html The document it was based on is still at http://www.cs.auckland.ac.nz/~brian/DFZng.pdf. I would probably used different terminology today; it certainly isn't a worked-out proposal. Brian -- to unsubscribe send a message to [EMAIL PROTECTED] with the word 'unsubscribe' in a single line as the message text body. archive: <http://psg.com/lists/rrg/> & ftp://psg.com/pub/lists/rrg
