tacticNBStep1.tex 80 Bytes
 1
 2
 3
 4
 5
\tbegin
\ttactic NBStep1(fs) \def

\ttactic applyCopyRule(fs)
\tend