tuned;

--- a/doc-src/IsarRef/generic.tex	Wed Feb 27 19:43:55 2002 +0100
+++ b/doc-src/IsarRef/generic.tex	Wed Feb 27 19:44:22 2002 +0100
@@ -57,7 +57,15 @@
 
 FIXME
 
-\indexouternonterm{contextelem}
+\indexouternonterm{locale}\indexouternonterm{contextelem}
+
+\begin{rail}
+  locale: '(' 'in' name ')'
+  ;
+
+  contextelem: FIXME
+  ;  
+\end{rail}
 
 
 \section{Derived proof schemes}