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
> different term constructions, independently of the underlying record
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