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

HOL 4, Kananaskis-14