fns 2 0 http://www.openmath.org/cdgroups/fns.cdg Basic Operations on functions fns1 http://www.openmath.org/cd/fns1.ocd fns2 http://www.openmath.org/cd/fns2.ocd