I have attached a document that summarizes the main constants and their syntax. It is intentionally restricted to (about) 10 pages to make it easy to browse and get a quick overview. For details one still has to read the theories.
If you have any suggestions or issues, please let me know. One issue I a not sure about myself: should I always give the ASCII syntax as well, eg after the type? I have done this in a few places in the Set section, just as an experiment. Adding further lines in the Syntax part is likely to lead to bloat. Thanks, Tobias -------------- next part -------------- A non-text attachment was scrubbed... Name: document.pdf Type: application/octetstream Size: 35021 bytes Desc: not available URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090310/2f2e31e3/attachment-0001.bin>
