--- a/src/Doc/Isar_Ref/Inner_Syntax.thy Wed May 06 23:11:01 2015 +0200
+++ b/src/Doc/Isar_Ref/Inner_Syntax.thy Wed May 06 23:28:09 2015 +0200
@@ -110,7 +110,7 @@
@{command "print_state"}~@{text "(latex xsymbols)"} prints the
current proof state with mathematical symbols and special characters
represented in {\LaTeX} source, according to the Isabelle style
- @{cite "isabelle-sys"}.
+ @{cite "isabelle-system"}.
Note that antiquotations (cf.\ \secref{sec:antiq}) provide a more
systematic way to include formal items into the printed text