[PURRS-devel] purrs/src Recurrence.cc

Alessandro Zaccagnini zaccagnini at spartacus.cs.unipr.it
Fri Jul 18 16:13:27 CEST 2003

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zaccagnini at cs.unipr.it	2003-07-18 16:13:27

Modified files:
	src            : Recurrence.cc 

Log message:
	Suggested alternative approach to problem with automatic verification
	of the solution (commented out).


More information about the PURRS-devel mailing list