FAIL_LT : string -> list_tactic
STRUCTURE
SYNOPSIS
List-tactic which always fails, with the supplied string.
DESCRIPTION
Whatever goal list it is applied to, FAIL_LT s always fails with the string s.
FAILURE
The application of FAIL_LT to a string never fails; the resulting list-tactic always fails.
SEEALSO
HOL  Kananaskis-14