Re: [Core](PRD] safeness

Christian De Sainte Marie wrote:

> You are right, the definition is not explicit enough on this aspect (in 
> an earlier version, there was a note about whether we should remind 
> readers that existentially quantified variables did not exist outside 
> their existential formula, but I removed it without action, when Dave 
> seemed to imply that it was clear enough).

Don't blame me :-)

Actually I think that note would be helpful, though hardly critical.

Dave
-- 
Hewlett-Packard Limited
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England