id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
207	Add support for APPLY to CVC3TheoremProver	zirkel			task	closed	major	Release 1.0	prove	1.0	fixed	evaluated function, derivative, abstract function, validity checker