id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
209	Add support for APPLY operation in CVC3TheoremProver	ywei	ywei	Add support for APPLY operation in CVC3TheoremProver.java. The operation is specified in TreeExpressionIF.java.	defect	closed	major	Release 1.0	prove	1.0	fixed