Structure HOLset


Source File Identifier index Theory binding index

signature HOLset =
sig
  include Redblackset
  val pp_holset : HOLPP.ppstream -> 'a set -> unit
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10