Professor James Davenport wrote -- largely what I would have written if I had time today.
An empirical question: do any CA/programming systems make such 'expressions' legal and what then is the semantics? chris _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
