Structure PSet_ind

Source File	Identifier index	Theory binding index

signature PSet_ind =
sig
   type tactic = Abbrev.tactic

  val SET_INDUCT_TAC : Thm.thm -> tactic
end

Source File	Identifier index	Theory binding index