Syntax definition ccaragen

Description: Extend class notation with a function that takes an outer measure and generates a sigma-algebra and a measure.

	Ref	Expression
Assertion	ccaragen	class CaraGen