[PURRS-devel] purrs/tests heap

Tatiana Zolo zolo at spartacus.cs.unipr.it
Mon Oct 27 17:13:02 CET 2003

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at cs.unipr.it	2003-10-27 17:13:01

Modified files:
	tests          : heap 

Log message:
	Changed the mark to two functional equations that the system is not able
	to verify from `ulv' to `ul'.


More information about the PURRS-devel mailing list