[isabelle-dev] NEWS

Tobias Nipkow nipkow at in.tum.de
Fri Jul 8 20:48:53 CEST 2016

* Theory Library/LaTeXsugar.thy: New style "dummy_pats" for displaying
equations in functional programming style: variables present on the
left-hand but not on the righ-hand side are replaced by underscores.
See the tutorial "LaTeX Sugar for Isabelle Documents".


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5135 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20160708/d5b5b97f/attachment.p7s>

More information about the isabelle-dev mailing list