id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
15	prover debugging output should print result	Stephen Siegel	ywei	In verbose mode, the prover class prints out the theorem that the prover has been asked to prove, but it does not print the result (valid, invalid,....).   Could you just print the result too?	enhancement	closed	minor		symbolic	1.0	fixed	prover