updated syntax of datatype declaration

--- a/doc-src/Logics/HOL.tex	Fri Mar 15 12:01:19 1996 +0100
+++ b/doc-src/Logics/HOL.tex	Fri Mar 15 13:34:39 1996 +0100
@@ -1488,12 +1488,9 @@
 \begin{rail}
 typedecl : typevarlist id '=' (cons + '|')
          ;
-cons     : (id | string) (typ *) ( () | mixfix )
+cons     : name (typ *) ( () | mixfix )
          ;
-typ      : typevarlist id
-           | tid
-         ;
-typevarlist : () | tid | '(' (tid + ',') ')'
+typ      : id | tid | ('(' typevarlist id ')')
          ;
 \end{rail}
 \caption{Syntax of datatype declarations}