Structure sptreeLib


Source File Identifier index Theory binding index

signature sptreeLib =
sig
  val domain_CONV : Conv.conv
  val foldi_CONV : Conv.conv
  val toAList_CONV : Conv.conv
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10