W3C home > Mailing lists > Public > public-rif-wg@w3.org > July 2008

[RIF] DTB comment/question

From: Stella Mitchell <cleo@us.ibm.com>
Date: Fri, 18 Jul 2008 11:55:24 -0400
To: RIF <public-rif-wg@w3.org>
Message-ID: <OFBB25F804.16ED942D-ON85257488.00398BF4-8525748A.00577877@us.ibm.com>
In section 2.1.1,  the rif:local bullet says that occurrences of the same 
constant in the same document must refer to the same object. This is 
by BLD, but is it also required by FLD, for all logic dialects?

Received on Friday, 18 July 2008 15:56:25 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:51 UTC