--- a/src/Doc/Isar_Ref/Outer_Syntax.thy Wed May 06 23:11:01 2015 +0200
+++ b/src/Doc/Isar_Ref/Outer_Syntax.thy Wed May 06 23:28:09 2015 +0200
@@ -28,7 +28,7 @@
Printed theory documents usually omit quotes to gain readability
(this is a matter of {\LaTeX} macro setup, say via @{verbatim
- "\\isabellestyle"}, see also @{cite "isabelle-sys"}). Experienced
+ "\\isabellestyle"}, see also @{cite "isabelle-system"}). Experienced
users of Isabelle/Isar may easily reconstruct the lost technical
information, while mere readers need not care about quotes at all.
\<close>