> The justification is that with the extension we do not have to force > math practicioners into using lambdas all the time
huh? the scary thing is using formal binding operations, If they are more scared if the head symbol is called "lambda" than "prodcond" then that is just weird. David ________________________________________________________________________ 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. ________________________________________________________________________ _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
