
/* Tactic: SeqAssig*/

\tbegin
\ttactic SeqAssig()  \def

  \tmu X @ \ttactic TRY((X \semibox X) 
                  \talt (X \parallelbox X) 
	\talt (\thenbox X) 
	\talt (\mubox X) 
	  \talt ((X \interleavebox X) \tsemi \ttactic TRY(\tlaw inter_seq_assig()))) 

\tend