Syntax definition csseq

Description: Sequences defined by strong recursion.

	Ref	Expression
Assertion	csseq	$$class{\mathrm{seq}}_{str}$$