BJSt1.tex 119 Bytes
 1
 2
 3
 4
 5
 6
 7
 8
/* Tactic: BJSt1*/

\tbegin
\ttactic BJSt1 (blocks) \def

\ttactic createSingleProcesses(blocks)

\tend