is there somewhere documentation for interacting with isabelle with ML? I am trying to understand/modify the Nominal2 code and I have no idea where to start

there's https://nms.kcl.ac.uk/christian.urban/Cookbook/ and https://isabelle.in.tum.de/dist/Isabelle2021/doc/implementation.pdf

The cookbook is the more practical guide

yes, implementation.pdf only works as a reference for things you already sorta-know

Thanks, will have a look at that

Last updated: Aug 13 2022 at 05:18 UTC