Syntax definition clocfin

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

	Ref	Expression
Assertion	clocfin	$$class\mathrm{LocFin}$$