Structure AssembleDiskFiles

Source File	Identifier index	Theory binding index

signature AssembleDiskFiles =
sig
  val raw_read_stream : TextIO.instream -> DiskFilesHeader.parse_result
  val raw_read_file : string -> DiskFilesHeader.parse_result
end

Source File	Identifier index	Theory binding index

HOL 4, Kananaskis-8