[isabelle-dev] Lexical structure of ML strings

Makarius makarius at sketis.net
Mon Jan 26 11:26:44 CET 2015

On Mon, 26 Jan 2015, Florian Haftmann wrote:

> I think it is best if I find a possibility to print strings in a way 
> that is both digestible for Isabelle/ML and (S)ML.

If it is just for generated sources, you could use "\092" for backslash 
and thus escape further special treatment as Isabelle symbols.


More information about the isabelle-dev mailing list