typo in previous message

• From: <pfps@inf.unibz.it>
• Date: Fri, 9 Dec 2005 03:00:35 +0100
• To: public-rif-wg@w3.org
• Message-ID: <1134093635.4398e54388ae9@www.inf.unibz.it>

I made a serious typo in my previous messge. 

Instead of 

(forall x forall y x=y) implies (P(a) iff P(b))

it should read

(forall x forall y x=y) implies (P(a) iff Q(b))

peter

Received on Friday, 9 December 2005 02:00:43 UTC