# HG changeset patch
# User nipkow
# Date 823886727 -3600
# Node ID b25a747876a4826e296535b41bd97af654954048
# Parent  afc1c1f2523e252ffb8b813c43e62b0d751ce375
Added typevarlist

diff -r afc1c1f2523e -r b25a747876a4 doc-src/Ref/theory-syntax.tex
--- a/doc-src/Ref/theory-syntax.tex	Fri Feb 09 13:43:07 1996 +0100
+++ b/doc-src/Ref/theory-syntax.tex	Fri Feb 09 18:25:27 1996 +0100
@@ -53,17 +53,19 @@
 types : 'types' ( ( typeDecl ( () | '(' infix ')' ) ) + )
       ;
 
-typeDecl : ( () | tid | '(' ( tid + ',' ) ')') name
+infix : ( 'infixr' | 'infixl' ) nat;
+
+typeDecl : typevarlist name
            ( () | '=' ( string | type ) );
 
+typevarlist : () | tid | '(' ( tid + ',' ) ')';
+
 type : simpleType | '(' type ')' | type '=>' type |
        '[' ( type + "," ) ']' '=>' type;
 
 simpleType: id | ( tid ( () | '::' id ) ) |
             '(' ( type + "," ) ')' id | simpleType id;
 
-infix : ( 'infixr' | 'infixl' ) nat;
-
 
 arities : 'arities' ((( name + ',' ) '::' arity ) + )
         ;