config4.tex 335 Bytes
edit raw blame history

/* Tactic: config4*/

\tbegin
\ttactic config4()  \def

        (\tlaw Sequence_Associativity()  \parallelbox \tlaw Sequence_Associativity())
		\tsemi \tlaw Parallel_Composition_Sequence_step() \tsemi
		(\tskip \semibox (\ttactic isolateOutComm() \tsemi
        (\tskip \semibox (\tlaw Par_Interleave()))))
    \tend