Syntax definition ccf

Description: Extend class definition to include the cofinality function.

	Ref	Expression
Assertion	ccf	class cf