[isabelle] Parsing a string to a term



Hi,

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,
Rafael



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.