changeset 12464 | f9d3c92eae4d |
parent 11573 | 4f85af77038f |
child 12465 | 47f79ad602d9 |
--- a/doc-src/System/symbols.tex Tue Dec 11 15:04:17 2001 +0100 +++ b/doc-src/System/symbols.tex Tue Dec 11 15:36:28 2001 +0100 @@ -1,7 +1,7 @@ % $Id$ -\chapter{Isabelle symbols}\label{app:symbols} +\chapter{Standard Isabelle symbols}\label{app:symbols} Isabelle supports an infinite number of non-ASCII symbols, which are represented in source text as \verb,\<,$name$\verb,>, (where $name$ may be any