Structure alistLib


Source File Identifier index Theory binding index

signature alistLib =
sig

  val add_alist_compset : computeLib.compset -> unit

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14