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



> as long as the functionality and limitations of this approach are
> clearly stated in the theory, which they are currently not. This needs
> to be included.

Fair point. I will add a few paragraphs there.




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