- From: marcos rebelo <oleber@gmail.com>
- Date: Fri, 7 Apr 2006 09:31:00 +0100
- To: "public-cwm-talk@w3.org" <public-cwm-talk@w3.org>
I would consider to pass this document by a Spell Checker. On the section Equalaty you can find '(∀i . ∃j . Si = Tj. ) & (∀i . ∃j . Si = Tj. )' for the equalaty of sets. Probably you mean '(∀i . ∃j . Si = Tj. ) & (∀i . ∃j . Sj = Ti. )' path : http://www.w3.org/DesignIssues/N3Logic Marcos -- Marcos Rebelo http://oleber.awardspace.com/
Received on Friday, 7 April 2006 08:31:12 UTC