[om] new bug in arith1

[David Carlisle]

Bill> looks like there is a bug in the new example for times in arith1,

Bill> There is a spurious OMA around the first binding in the last FMP for
Bill> inverse in fns1

Bill> "An example to represents the statement for all x | |sin(x)| <= 1 "



http://www.openmath.org/cocoon/openmath/cdfiles/ChangeLog.txt


2003-12-04    <dpc at monet.nag.co.uk>

	* cd/quant1.ocd: Changed for all example to specify x is real. (From Bill Naylor)

	* cd/fns1.ocd: Correct FMP for inverse (From Bill Naylor)

	* cd/arith1.ocd: Correct matrix multiplcation example (From Bill Naylor)

David


________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems