W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2005

typo in previous message

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


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 GMT

This message: [ Message body ]
Next message: Jim Hendler: "Re: RIF vs Rule Language"
Previous message: pfps@inf.unibz.it: "new version of CL"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:25 GMT