Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] sym/trans attributes missing from reference ma...

view this post on Zulip Email Gateway (Jun 13 2025 at 16:42):

From: Jeremy Sylvestre <jsylvest@ualberta.ca>
Just noticed that the sym and trans attributes are not listed in the index
of the Isabelle/Isar Reference Manual (doc/isar-ref.pdf) whereas all other
attributes listed under Declarations in Appendix A.3 do appear in the index.

The sym and trans attributes are specified in section 6.3 on page 144.

Last updated: Jun 20 2025 at 12:44 UTC