isolateEC.tex 172 Bytes
edit raw blame history

/* Tactic: isolateEC*/

\tbegin
\ttactic isolateEC()  \def

 \ttactic insertSeqComp() \tsemi (\tskip \semibox  (\ttactic foldrpar(\tlaw rec_sync2())))

\tend