Syntax definition crgr

Description: Extend class notation to include the class of all regular graphs.

	Ref	Expression
Assertion	crgr	class RegGraph