Re: [Core](PRD] safeness

public-rif-wg-request@w3.org wrote on 10/06/2009 16:23:59:
> 
> > One thing that we could do is use the definition with DNF 
preprocessing 
> > in Core, and add an implementor's note with the definition of 
> > conditional boundedness and how conditions carry over, and 
conditionally 
> > bound variables eventually become bound (or not). Not sure it is 
useful, 
> > though.
> 
> I don't see the value of such an implementor's note in Core.

I meant, in PRD, the implementor's note. But, even in PRD, I am not sure 
there is that much value.

Cheers,

christian

Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 
Courbevoie
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 609.751.783,30 ?
SIREN/SIRET : 552 118 465 02430