doc-src/Ref/theory-syntax.tex
changeset 1379 8f693d2ffb59
parent 1375 d04af07266e8
child 1382 7e97232c1159
     1.1 --- a/doc-src/Ref/theory-syntax.tex	Fri Dec 01 12:24:06 1995 +0100
     1.2 +++ b/doc-src/Ref/theory-syntax.tex	Fri Dec 01 12:26:42 1995 +0100
     1.3 @@ -76,7 +76,7 @@
     1.4              '=>' constType | constType '=>' constType;
     1.5  
     1.6  simpleType: id | ( tid ( () | '::' id ) ) |
     1.7 -            '(' ( constType + "," ) ')' id | simpleType id;
     1.8 +            '(' ( constType + "," ) ')' ( id + ',' ) | simpleType ( id + ',' );
     1.9  
    1.10  mixfix :  string ( () | ( () | ('[' (nat + ',') ']')) nat )
    1.11         | infix