Structure UC_ASCII_Encode


Source File Identifier index Theory binding index

signature UC_ASCII_Encode =
sig

  val encode : string -> string
  val decode : string -> string

end


Source File Identifier index Theory binding index

HOL 4, Trindemossen-1