- From: David Carlisle <davidc@nag.co.uk>
- Date: Mon, 8 Jun 2009 01:58:05 +0100
- To: andreas.strotmann@ualberta.ca, www-math@w3.org
sorry I scrambled sme of the exaples in my first reply.
ombind
quant1:forall
bvar x
oma
P
x
would be
oma
quant-new:forall
ombind
fns1:lambda
bvar x
oma
P
x
not as I wrote earlier:
oma
fns1:lambda
ombind
quant1:forall
bvar x
oma
P
x
________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs.
________________________________________________________________________
Received on Monday, 8 June 2009 00:58:41 UTC