1 Nov
2004
1 Nov
'04
2:24 p.m.
Great! You have no idea how much I have been confusing people by using local universal quantification to stand for existential quantification... Regards, Keean. Ian Lynagh wrote:
On Sat, Oct 30, 2004 at 03:01:02PM +0100, Keean Schupke wrote:
Re: my two earlier postings:
1) existentials in data declarations. I have a project which needs this, Simon PJ thought it was fairly easy to put in and suggested that Ian Lynagh might implement it. Do I need to persuade people further?
No - I've just got back from a conference with poor 'net access, so have only just read your original message. I should get to this RSN.
Thanks Ian