tuned;

--- a/src/Doc/Isar_Ref/Generic.thy	Mon Jun 22 20:36:33 2015 +0200
+++ b/src/Doc/Isar_Ref/Generic.thy	Mon Jun 22 20:38:38 2015 +0200
@@ -73,14 +73,14 @@
   \end{matharray}
 
   @{rail \<open>
-    @@{method sleep} @{syntax real}
-    ;
     (@@{method fold} | @@{method unfold} | @@{method insert}) @{syntax thmrefs}
     ;
     (@@{method erule} | @@{method drule} | @@{method frule})
       ('(' @{syntax nat} ')')? @{syntax thmrefs}
     ;
     (@@{method intro} | @@{method elim}) @{syntax thmrefs}?
+    ;
+    @@{method sleep} @{syntax real}
   \<close>}
 
   \begin{description}