| changeset 39863 | c0de5386017e |
| parent 39861 | b8d89db3e238 |
| child 39864 | f3b4fde34cd1 |
--- a/doc-src/IsarImplementation/Thy/Prelim.thy Sun Oct 17 20:54:30 2010 +0100 +++ b/doc-src/IsarImplementation/Thy/Prelim.thy Mon Oct 18 12:33:13 2010 +0100 @@ -582,7 +582,7 @@ *} -subsection {* Strings of symbols *} +subsection {* Strings of symbols \label{sec:symbols} *} text {* A \emph{symbol} constitutes the smallest textual unit in Isabelle --- raw ML characters are normally not encountered at all!