/* Tatica APPLYL2 */

\tbegin
\ttactic APPLYL2( l, args)  \def
  \ttactic TRY( \tlaw l(head args)) 
\tsemi \ttactic APPLYL2(l,tail args) 


\tend