NO_LT : list_tactic
STRUCTURE
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
HOL  Trindemossen-1