Modified functions pt_to_ast and ast_to_term to improve handling
of errors in parse (ast) translations caused by ambiguous input.
Pure/Syntax/
This directory contains the source files for Isabelle's syntax module,
which includes a lexer, parser, pretty printer and macro system. Only
the following structures are exported:
Syntax (internal interface to the syntax module)
BasicSyntax (part of Syntax made pervasive)