Structure MLstring


Source File Identifier index Theory binding index

signature MLstring =
sig

  exception stringerror of int * string
  val scanMLstring : string -> string

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13