On Fri, 26 Mar 2004, Alastair Reid wrote: > > (For [implementations of] abstract datatypes like balanced binary trees, > the appropriate equality would probably be to test whether the trees > contain the same set of values even if they are balanced slightly > differently.) Of course it is! (And that's what my Standard Proposal specifies by the way...) Robert