K 10
svn:author
V 5
jerry
K 8
svn:date
V 27
1985-08-09T16:24:54.000000Z
K 24
svn:entry:committed-date
V 27
1985-08-09T16:24:54.000000Z
K 7
svn:log
V 34
add d_dprod for prod() under -r8


END
