Structure Instance


Source File Identifier index Theory binding index

signature Instance =
sig
   val INSTANCE_T_CONV
       : (Term.term -> Term.term list) -> Abbrev.conv -> Abbrev.conv
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14