* 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".
Tobias
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev