equal
deleted
inserted
replaced
57 |
57 |
58 *** Document preparation *** |
58 *** Document preparation *** |
59 |
59 |
60 * Isabelle control symbols for markup and formatting: |
60 * Isabelle control symbols for markup and formatting: |
61 |
61 |
|
62 \<^noindent> \noindent |
62 \<^smallskip> \smallskip |
63 \<^smallskip> \smallskip |
63 \<^medskip> \medskip |
64 \<^medskip> \medskip |
64 \<^bigskip> \bigskip |
65 \<^bigskip> \bigskip |
65 |
66 |
66 \<^item> \item (itemize) |
67 \<^item> \item (itemize) |
67 \<^enum> \item (enumeration) |
68 \<^enum> \item (enumerate) |
|
69 \<^descr> \item (description) |
68 |
70 |
69 |
71 |
70 *** Isar *** |
72 *** Isar *** |
71 |
73 |
72 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |
74 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |