Syntax definition ccf

Description: Extend class definition to include the cofinality function.

	Ref	Expression
Assertion	ccf	$$class\mathrm{cf}$$