Re: [isabelle] Proof of concept: BNF-based records

> One important aspect of localizing the record package is actually the
> concrete syntax. When that is done properly, syntax could be attached
> to
> different term constructions, independently of the underlying record
> representation.

Is there a way to do advanced syntax (e.g. nonterminal, syntax,
translations, parse_translation, print_ast_translation) properly (e.g.


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