BJSt4AProc.tex 208 Bytes
 1
 2
 3
 4
 5
 6
 7
/* Tactic: BJSt4AProc*/

\tbegin
\ttactic BJSt4AProc(pname) \def

\tprogram (pname, \defsbox \beginendbox ((), \tskip \semibox \mubox(\ttactic BJSt4A_all_config() \semibox \tskip)))
\tend