Re: Editorial changes in Section 2.5

Enrico Franconi in reply to Pat Hayes wrote:
[...]
> Probably you misread the definition: we say
> G simply entails (G' union S(***BGP'***))
> i.e., there is BGP' inside, not BGP.

indeed probably :-)
nifty to have that BGP'

have a nice weekend and take some sleep :-)

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/