val semicolon: tactic
val branch: tactic
val shift: tactic
- val pos: int -> tactic
+ val pos: int list -> tactic
+ val wildcard: tactic
val merge: tactic
val focus: int list -> tactic
val unfocus: tactic
let branch = cont_proxy C.Branch
let shift = cont_proxy C.Shift
let pos i = cont_proxy (C.Pos i)
+ let wildcard = cont_proxy C.Wildcard
let merge = cont_proxy C.Merge
let focus goals = cont_proxy (C.Focus goals)
let unfocus = cont_proxy C.Unfocus