Syntax definition bj-cgab

Description: Syntax for generalized class abstractions.

	Ref	Expression
Assertion	bj-cgab	Could not format assertion : No typesetting found for class {{ A | x | ph }} with typecode class