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

HOL 4, Kananaskis-14