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

HOL 4, Kananaskis-14