Re: major problem with diff:replacement

Just before anyone points out that the title may be a little 
exaggerated, I'll say so myself. :-)

Hopefully the previous posts help reveal what is behind diff:replace so 
that one can use it appropriately.

Henry

On 15 May 2004, at 12:42, Henry Story wrote:

> There is a major difference between the entailment relation a 
> expressed by the => 

Received on Saturday, 15 May 2004 16:56:40 UTC