id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
105	Add support for new statements: pushassumption, popassumption	zirkel		"Environment should maintain a stack of assumptions.  Suppose the current assumption is p, and you then call: 

pushassumption(q);

The new assumption is p^q.

Calling:

popassumption();

makes the assumption again p.
"	enhancement	new	minor		multiple