| changeset 12967 | c61def7021e8 |
| parent 12879 | 8e1cae1de136 |
| child 12976 | 5cfe2941a5db |
--- 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}