Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
modified simpleType
authorclasohm
Fri, 01 Dec 1995 12:26:42 +0100
changeset 1379 8f693d2ffb59
parent 1378 042899454032
child 1380 2f8055af9c04
modified simpleType
doc-src/Ref/theory-syntax.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/Ref/theory-syntax.tex	Fri Dec 01 12:24:06 1995 +0100
+++ b/doc-src/Ref/theory-syntax.tex	Fri Dec 01 12:26:42 1995 +0100
@@ -76,7 +76,7 @@
             '=>' constType | constType '=>' constType;
 
 simpleType: id | ( tid ( () | '::' id ) ) |
-            '(' ( constType + "," ) ')' id | simpleType id;
+            '(' ( constType + "," ) ')' ( id + ',' ) | simpleType ( id + ',' );
 
 mixfix :  string ( () | ( () | ('[' (nat + ',') ']')) nat )
        | infix
isabelle