equal
deleted
inserted
replaced
80 |
80 |
81 * Isabelle names are mangled into LaTeX macro names to allow the full |
81 * Isabelle names are mangled into LaTeX macro names to allow the full |
82 identifier syntax with underscore, prime, digits. This is relevant for |
82 identifier syntax with underscore, prime, digits. This is relevant for |
83 antiquotations in control symbol notation, e.g. \<^const_name> becomes |
83 antiquotations in control symbol notation, e.g. \<^const_name> becomes |
84 \isactrlconstUNDERSCOREname. |
84 \isactrlconstUNDERSCOREname. |
|
85 |
|
86 * Document preparation with skip_proofs option now preserves the content |
|
87 more accurately: only terminal proof steps ('by' etc.) are skipped. |
85 |
88 |
86 |
89 |
87 *** HOL *** |
90 *** HOL *** |
88 |
91 |
89 * SMT module: |
92 * SMT module: |