Structure stringSimps


Source File Identifier index Theory binding index

signature stringSimps =
sig
  include Abbrev

  val char_rewrites   : thm list
  val string_rewrites : thm list
  val STRING_ss : simpLib.ssfrag
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14