
diff -r f4259adc928a -r aca50a1572c5 src/Doc/Isar_Ref/Spec.thy
--- a/src/Doc/Isar_Ref/Spec.thy	Wed Oct 25 11:40:58 2017 +0200
+++ b/src/Doc/Isar_Ref/Spec.thy	Wed Oct 25 13:47:53 2017 +0200
@@ -58,7 +58,8 @@
   such a global @{command (global) "end"}.
 
   @{rail \<open>
-    @@{command theory} @{syntax name} @'imports' (@{syntax name} +) \<newline>
+    @@{command theory} @{syntax system_name}
+      @'imports' (@{syntax system_name} +) \<newline>
       keywords? abbrevs? @'begin'
     ;
     keywords: @'keywords' (keyword_decls + @'and')




