CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-08-19 20:30:46

Modified files: tests : heap

Log message: Changed the mark from `n' to `yv' to two infinite order recurrences with `n' like upper bound of the sum. Added other recurrences with lower and upper bound of the sum different from `0' and `n-1', respectively.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purr...