| 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 |
|---|