NO_LT : list_tactic
STRUCTURE
Tactical
SYNOPSIS
List-tactic which always fails.
DESCRIPTION
Whatever goal list it is applied to,
NO_LT
always fails with string
`NO_LT`
.
FAILURE
Always fails.
SEEALSO
NO_TAC
,
ALL_LT
,
FAIL_LT
HOL
Trindemossen-1