--- a/doc-src/IsarRef/syntax.tex Tue Sep 30 15:07:38 2003 +0200
+++ b/doc-src/IsarRef/syntax.tex Tue Sep 30 15:09:35 2003 +0200
@@ -75,9 +75,9 @@
longident & = & ident\verb,.,ident~\dots~ident \\
symident & = & sym^+ ~|~ symbol \\
nat & = & digit^+ \\
- var & = & \verb,?,ident ~|~ \verb,?,ident\verb,.,nat \\
+ var & = & ident ~|~ \verb,?,ident ~|~ \verb,?,ident\verb,.,nat \\
typefree & = & \verb,',ident \\
- typevar & = & \verb,?,typefree ~|~ \verb,?,typefree\verb,.,nat \\
+ typevar & = & typefree ~|~ \verb,?,typefree ~|~ \verb,?,typefree\verb,.,nat \\
string & = & \verb,", ~\dots~ \verb,", \\
verbatim & = & \verb,{*, ~\dots~ \verb,*}, \\
\end{matharray}