[isabelle-dev] Custom inner syntax parsing in ML.
makarius at sketis.net
Thu Sep 26 15:50:40 CEST 2019
On 26/09/2019 15:42, Daniel Kirchner wrote:
> I wasn't sure whether to post this on the isabelle-users or the isabelle-dev mailing list, so I went with the suggestion at https://nms.kcl.ac.uk/christian.urban/Cookbook/, I hope that's fine.
No, the Isabelle website (e.g. https://isabelle.in.tum.de) explains the
purposes of the mailing lists. (The cookbook is outdated/misleading in
many other respects.)
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev