Structure AssembleHolindexParser

Source File	Identifier index	Theory binding index

signature AssembleHolindexParser =
sig
  val parse_hdf_file : string -> holindexData.parse_entry list
end

Source File	Identifier index	Theory binding index