HOL-Theorem-Prover/HOL — pull request #221 by jeremydaw (2014-12-31 09:19:09+00:00)
Title: relaxing type constraint for THEN and THENL

to permit
val THEN : list_tactic * tactic -> list_tactic
val THENL : list_tactic * tactic list -> list_tactic
as well as the usual types

also EVERY_LT for list of list-tactics