QCHANGED_CONSEQ_CONV : conseq_conv -> conseq_conv
STRUCTURE
ConseqConv
SYNOPSIS
Makes a consequence conversion fail if applying it raises the
UNCHANGED
exception.
SEEALSO
QCHANGED_CONV
,
CHANGED_CONSEQ_CONV
HOL
Trindemossen-1