# HG changeset patch
# User wenzelm
# Date 1014835462 -3600
# Node ID c61def7021e8ac381d8e3cd0433a407fdbfcb97b
# Parent  6373b4d0932593f2fe001aa2cb2a823effa208ce
tuned;

diff -r 6373b4d09325 -r c61def7021e8 doc-src/IsarRef/generic.tex
--- 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}