Re: Model-specific identity for anon resources, and its representation: A new issue?

On Friday, June 15, 2001, at 04:36  AM, 
jos.deroo.jd@belgium.agfa.com wrote:

> I think/hack that both anonymous *terms* can be *unified*
> which is NOT the same as equality

Then your hack only seems to works when we can unify anonymous 
terms, or they have some sort of UniqueProperty attached. How do 
we solve the general case?

--
[ "Aaron Swartz" ; <mailto:me@aaronsw.com> ; <http://www.aaronsw.com/> ]

Received on Friday, 15 June 2001 11:38:07 UTC