Syntax definition cpropimp

Description: The implication between two sentences of propositional calculus.

	Ref	Expression
Assertion	cpropimp	class prop->