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