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