Structure sumSimps


Source File Identifier index Theory binding index

signature sumSimps =
sig
  val SUM_ss  : simpLib.ssfrag
  val SUM_rws : computeLib.compset -> unit
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13