[om] bug in fns1.ocd

Bill Naylor Bill.Naylor at mcs.vuw.ac.nz
Wed Nov 26 05:04:19 CET 2003

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


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

More information about the Om mailing list