Syntax definition ccfil

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

	Ref	Expression
Assertion	ccfil	class CauFil