1signature sequenceTools =
2sig
3
4  val SEQUENCE_CASES_TAC : Term.term -> Abbrev.tactic
5  val SEQ_CASES_TAC : Term.term frag list -> Abbrev.tactic
6
7end