Structure pureSimps


Source File Identifier index Theory binding index

signature pureSimps = sig

  val PURE_ss : simpLib.ssfrag
  val pure_ss : simpLib.simpset

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13