Syntax definition ccnfn

Description: Extend class notation with set of continuous Hilbert space functionals.

	Ref	Expression
Assertion	ccnfn	$$class\mathrm{ContFn}$$