ORELSE_CONSEQ_CONV : (conseq_conv -> conseq_conv -> conseq_conv)
STRUCTURE
ConseqConv
SYNOPSIS
Applies the first of two consequence conversions that succeeds.
SEEALSO
ORELSEC
,
FIRST_CONSEQ_CONV
HOL
Trindemossen-1