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