[isabelle-dev] A suggestion: call eval with try0

lammich at in.tum.de lammich at in.tum.de
Mon Aug 17 14:03:49 CEST 2020


An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200817/3e1fc6d8/attachment.html>


More information about the isabelle-dev mailing list