removeSeq.tex 116 Bytes
 1
 2
 3
 4
 5
 6
/* Tatica removeSeq */

\tbegin
\ttactic removeSeq() \def
\ttactic TRY(\tlaw Sequence_Unit_part_3())
\tend