Structure Sub_and_cond

Source File	Identifier index	Theory binding index

signature Sub_and_cond =
sig
   val SUB_AND_COND_ELIM_CONV : Abbrev.conv
   val COND_ELIM_CONV : Abbrev.conv
end

Source File	Identifier index	Theory binding index