[m-dev.] For review: add '..'/2 and series/3 to list.m

[Ralph Becket]

>From Fergus Henderson on 27/09/2000 08:50:44
> 
> I think that's much better.  I suggest spelling
> out "s.t." as "such that", and personally I would write
> "such that OK(Xi) fails" rather than "such that not OK(Xi)".

Done.

I'll go ahead and commit this one.

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------