#
876ff199 |
|
11-Dec-2014 |
Jeremy Dawson <jeremy@cecs.anu.edu.au> |
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)
|