Re: Red and blue (again)

> should be equivalent. So it would be unfortunate if *there* 
> axiomatizations were

*their* :-)


--
Prof. David J. Pym                Telephone: +44 (0)1 225 38 3246
Professor of Logic & Computation  Facsimile: +44 (0)1 225 38 3493
University of Bath                Email: 
d.j.pym-+E0FUbDlCk21Qrn1Bg8BZw@xxxxxxxxxxxxxxxx
Bath BA2 7AY, England, U.K.       Web: http://www.bath.ac.uk/~cssdjp 

Royal Society Industry Fellow, HP Labs, Bristol: david.pym-VXdhtT5mjnY@xxxxxxxxxxxxxxxx 

--
This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed.