| 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 -> {thy : string, info : string * int} Symtab.table
end
| Source File | Identifier index | Theory binding index |
|---|