Structure TexTokenMap


Source File Identifier index Theory binding index

signature TexTokenMap =
sig

  val TeX_notation : {hol: string, TeX : string * int} -> unit
  val temp_TeX_notation : {hol: string, TeX : string * int} -> unit

  val the_map : unit -> (string,string * int)Binarymap.dict

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13