RE: Datatypes - help please

On March 28, Jeremy Carroll writes:
> 
> 
> 
> >BTW, we didn't specify anything about what a datatype theory ought to
> >say (e.g., it could map all integers to the same domain element). Do
> >we want/need to say that datatype theories must be consistent with
> >XMLSchema, or some such?
> 
> Procedurally, shouldn't this be made as a last call comment on S&AS after 
> Monday?

If you say so - procedure is not my strong suit :-)

Ian

> 
> Jeremy
> 
>