BJSt4.tex 254 Bytes
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
/* Tactic: BJSt4*/

\tbegin
\ttactic BJST4(main,blocks) \def

\ttactic BjSt4A(blocks)
\tsemi \ttactic BjSt4_HidPrep(main)
/*\tsemi \ttactic BjSt4B(blocks)*/
\tsemi \ttactic BjSt4C(blocks)
\tsemi \ttactic BjSt4D(blocks)

\tend