| changeset 11651 | 201b3f76c7b7 |
| parent 11100 | 34d58b1818f4 |
| child 12618 | 43a97a2155d0 |
--- a/doc-src/IsarRef/syntax.tex Mon Oct 01 21:53:50 2001 +0200 +++ b/doc-src/IsarRef/syntax.tex Tue Oct 02 20:23:33 2001 +0200 @@ -248,7 +248,7 @@ \indexouternonterm{infix}\indexouternonterm{mixfix} \begin{rail} - infix: '(' ('infixl' | 'infixr') string? nat ')' + infix: '(' ('infix' | 'infixl' | 'infixr') string? nat ')' ; mixfix: infix | '(' string prios? nat? ')' | '(' 'binder' string prios? nat ')' ;