On Sat, May 3, 2008 at 4:00 PM, John M. Dlugosz
> I've searched the archives, but did not see a good explanation of what eqv 
> does, and what is meant by snapshotting in the description of the synopses.
>  Can anyone explain it (with examples?) or point to an existing treatment, 
> please?

I think the best explanation so far is at Synopsis 03, section
"Comparison Semantics"


Reply via email to