[isabelle-dev] PIDE reports on mixfix annotations (notably for datatype)

Jasmin Blanchette jasmin.blanchette at inria.fr
Mon Apr 25 20:51:43 CEST 2016


An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20160425/81f53e15/attachment-0002.html>


More information about the isabelle-dev mailing list