Structure Prenex

Source File	Identifier index	Theory binding index

signature Prenex =
sig
   val is_prenex : Term.term -> bool
   val PRENEX_CONV : Abbrev.conv
end

Source File	Identifier index	Theory binding index