BJSt4Proc.tex 159 Bytes
 1
 2
 3
 4
 5
 6
 7
 8
/* Tactic: BJSt4Proc*/

\tbegin
\ttactic BJSt4Proc(pname) \def

\tprogram (pname, \defsbox (\beginendbox((), \ttactic HidDistStep())))

\tend