Structure pairSimps

Source File	Identifier index	Theory binding index

signature pairSimps =
sig

  val PAIR_ss  : simpLib.ssfrag

  val paired_forall_ss : simpLib.ssfrag
  val paired_exists_ss : simpLib.ssfrag
  val gen_beta_ss : simpLib.ssfrag

end

Source File	Identifier index	Theory binding index

HOL 4, Kananaskis-13