RE: 3.4/3.13: should there be a Simply Type Definition of the Ur- Type ?

> I agree the prose explaining all this is less than satisfactory.

I get it totally now that you have explained to me, which seems to suggest
that an additional sentence or two in the prose could do a great deal.

James

Received on Friday, 28 April 2000 05:43:14 UTC