fwd id [<ident list>]
Prev
Chapter 6. Tactics
Next
fwd
id
[<ident list>]
fwd ...TODO
Pre-conditions:
TODO.
Action:
TODO.
New sequents to prove:
TODO.