
diff -r 652a8e72cb75 -r a147272b16f9 src/Doc/Isar_Ref/Outer_Syntax.thy
--- 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>




