Syntax definition clocfin

Description: Extend class definition to include the class of locally finite covers.

	Ref	Expression
Assertion	clocfin	class LocFin