EVERY_CONSEQ_CONV : (conseq_conv list -> conseq_conv)
STRUCTURE
ConseqConv
SYNOPSIS
Applies in sequence all the consequence conversions in a given list of conversions.
SEEALSO
THEN_CONSEQ_CONV
,
EVERY_CONV
HOL
Trindemossen-1