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

HOL 4, Kananaskis-13