Syntax definition cst

Description: Extend class notation with set of states on a Hilbert lattice.

	Ref	Expression
Assertion	cst	class States