Simple, faster parser for "value terms" in Isabelle.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool