Syntax definition cga

Description: Extend class definition to include the class of group actions.

	Ref	Expression
Assertion	cga	$$class\mathrm{GrpAct}$$