Structure combinLib


Source File Identifier index Theory binding index

signature combinLib =
sig

  val add_combin_compset : computeLib.compset -> unit

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14