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