W3C home > Mailing lists > Public > www-math@w3.org > June 2009

Re: quantifiers

From: David Carlisle <davidc@nag.co.uk>
Date: Mon, 8 Jun 2009 01:58:05 +0100
Message-Id: <200906080058.n580w5xw023439@edinburgh.nag.co.uk>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:13:05 GMT