RE: Draft datatypes message

At 16:06 21/06/2002 +0100, Jeremy Carroll wrote:

> >
> > It seems to me that we would not want B and C to be yes. We
> > would want B
> > alone to be yes. It would be helpful to explicitly state that this is
> > not possible.
> >
>
>this is a good point, and it might be worth pointing out that B' where
>both properties have sensible range constraints is true in all systems
>we have devised.

done

Brian

Received on Wednesday, 26 June 2002 13:07:45 UTC