Syntax definition ccfil

Description: Extend class notation with the class of Cauchy filters.

	Ref	Expression
Assertion	ccfil	$$class\mathrm{CauFil}$$