FIRST_CONSEQ_CONV : (conseq_conv list -> conseq_conv)
STRUCTURE
SYNOPSIS
Apply the first of the conversions in a given list that succeeds.
SEEALSO
HOL  Trindemossen-1