Structure PGspec

Source File	Identifier index	Theory binding index

signature PGspec =
sig
 type conv = Abbrev.conv
  val SET_SPEC_CONV : Thm.thm -> conv
end

Source File	Identifier index	Theory binding index