[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 MHonArc.