ALL_CONV : conv
STRUCTURE
SYNOPSIS
Conversion that always raises the UNCHANGED exception.
DESCRIPTION
When applied to a term t, the conversion ALL_CONV raises the special UNCHANGED exception, which indicates to leave t unchanged.
FAILURE
Always raises the UNCHANGED exception.
USES
Identity element for THENC.
SEEALSO
HOL  Kananaskis-14