Re: Efficient context mechanisms

Bob and Thomas,

Thank you both for clarifying this.

I had indeed misunderstood and had imagined a large fraction of the statements
being asserted in different contexts and, also, hadn't appreciated how you are
using the heirarchical arrangement of contexts.

Dave

Received on Thursday, 16 January 2003 13:34:45 UTC