mirror of https://github.com/seL4/l4v.git
75acf19dcd | ||
---|---|---|
.. | ||
isasymbols | ||
README.md |
README.md
Python Isabelle Symbols Module
This directory contains Python functionality for translation between Isabelle's
ascii representations (e.g. \<forall>
) and its unicode representations (e.g.
∀
). You need to provide it with a copy of Isabelle's internal "symbols" file
that it uses to form translation mappings.
Example usage:
import isasymbols
t = isasymbols.make_translator('/path/to/symbols')
print t.encode('\\<lbrakk>A; B\\<rbrakk> \\<Longrightarrow> A')
For anything more complicated, please consult the source.