diff options
Diffstat (limited to 'isa/Example-Xsym.ML')
| -rw-r--r-- | isa/Example-Xsym.ML | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/Example-Xsym.ML b/isa/Example-Xsym.ML index c9d40747..ed97c291 100644 --- a/isa/Example-Xsym.ML +++ b/isa/Example-Xsym.ML @@ -5,7 +5,7 @@ Just a version of Example.ML using XSymbol. - Also subscripts/superscripts/bold: A\<^sup>1 \\<or> A\<^sub>2 \\<or> A\<^bold>3 + Also subscripts/superscripts: A\<^sup>1 \\<or> A\<^sub>2 [NB: these can't be used in identifiers or otherwise parsed by Isabelle unless declared as part of a theory's concrete syntax, see docs or examples in HOL/IMP.] |