Juliano Cardoso / circusRefine

BJSt4CProc.tex 159 Bytes
edit raw blame history 
 1
 2
 3
 4
 5
 6
 7
/* Tactic: BJSt4CProc*/

\tbegin
\ttactic BJSt4CProc(pname)  \def

		\tprogram (pname, \defsbox \beginendbox ((), \ttactic SeqAssig()))
    \tend