TACTICAL : tactical

Tactics

• call
• compose
• failtac
• idtac
• ifthen
• no-goal
• orelse
• repeat
• sequence
• then
• then*
• then**
• try

TPS documentation homepage

TPS homepage