1 2 3 4 5 6 7 8
/* Tactic: createSingleProcess*/\tbegin\ttactic createSingleProcesses (blocks) \def \ttactic APPLYL(\tlaw join_proc_pars(), join_all(blocks))\tend