/* Tactic: BJSt4A_config1*/

\tbegin
\ttactic BJSt4A_config1()  \def

		\tlaw Parallel_Composition_Sequence_step() \tsemi
		((\tskip \semibox (\tskip \parallelbox (\tlaw Sequence_Associativity() \tsemi
		\tlaw Prefix_Sequential_Composition_Associativity()))
		\tsemi \ttactic interIntroAndSimpl()
		\tsemi \tlaw Prefix_Skip() 
		\tsemi (\tskip \semibox \tlaw Sequence_Associativity())
		\tsemi \tlaw Sequence_Associativity()))
    \tend



