2009/5/16 Diego Novillo :
> On Fri, May 15, 2009 at 02:12, Eric Fisher wrote:
>
>> I think it's a mistake between a and b. It should be,
>>
>> "
>> variable @code{a} is completely modified with the contents of
>> variable @code{b}. Real definition are also known as @dfn{killing
>> definitions}.
On Fri, May 15, 2009 at 02:12, Eric Fisher wrote:
> I think it's a mistake between a and b. It should be,
>
> "
> variable @code{a} is completely modified with the contents of
> variable @code{b}. Real definition are also known as @dfn{killing
> definitions}. Similarly, the use of @code{b} read
