HOL-Theorem-Prover/HOL — pull request #216 by jeremydaw (2014-12-12 10:43:43+00:00)
Title: expand_list to interactively work on a list of subgoals

also Tactical.VALID_LT, to check that a list-tactical is valid
(expand_list checks validity, expand_listf doesn't)

also abbreviations elt, eall, eta, enth to apply (list-)tactic to subgoal(s)