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

HOL 4, Kananaskis-14