Structure cv_computeLib

Source File	Identifier index	Theory binding index

signature cv_computeLib =
sig
  include Abbrev
  val cv_compute : thm list -> term -> thm
  val reveal_cv_names : unit -> unit
end

Source File	Identifier index	Theory binding index