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