Structure Exists_arith


Source File Identifier index Theory binding index

signature Exists_arith =
sig
   val EXISTS_ARITH_CONV : Abbrev.conv
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14