[isabelle] Parsing a string to a term
I have a function that returns (from the bash-output) a string containing the Isabelle representation of a term. Now I'm trying to find a way to transform such a string into the actual term.
I have for example the string "Const (\"Num.num.One\", Type (\"Num.num\", ))", how do I get from this string to the according term?
There must be an already existing parser functionality for this, right?
Thanks in advance for any help,
This archive was generated by a fusion of
Pipermail (Mailman edition) and