Structure jcLib

Source File	Identifier index	Theory binding index

signature jcLib =
sig

  include Abbrev
  val stripDup : thm list -> tactic

end

Source File	Identifier index	Theory binding index