QCHANGED_CONSEQ_CONV : conseq_conv -> conseq_conv
STRUCTURE
SYNOPSIS
Makes a consequence conversion fail if applying it raises the UNCHANGED exception.
SEEALSO
HOL  Kananaskis-13