Tactics.Equations
val step :
Core.Tactic.Chk.tac ->
Core.Tactic.Chk.tac ->
Core.Tactic.Chk.tac ->
Core.Tactic.Chk.tac ->
Core.Tactic.Chk.tac ->
Core.Tactic.Chk.tac ->
Core.Tactic.Syn.tac
val qed : Core.Tactic.Chk.tac -> Core.Tactic.Chk.tac -> Core.Tactic.Syn.tac