Structure ProvideUnicode


Source File Identifier index Theory binding index

signature ProvideUnicode =
sig

  val mk_unicode_version : {u:string,tmnm:string} -> term_grammar.grammar ->
                           term_grammar.user_delta list
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13