Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Logics/HOL.tex
changeset 1578 b58a6182e184
parent 1490 713256365b92
child 1581 a82618a900e5 
--- a/doc-src/Logics/HOL.tex	Thu Mar 14 12:19:49 1996 +0100
+++ b/doc-src/Logics/HOL.tex	Thu Mar 14 12:21:07 1996 +0100
@@ -1488,7 +1488,7 @@
 \begin{rail}
 typedecl : typevarlist id '=' (cons + '|')
          ;
-cons     : (id | string) ( () | '(' (typ + ',') ')' ) ( () | mixfix )
+cons     : (id | string) (typ *) ( () | mixfix )
          ;
 typ      : typevarlist id
            | tid
isabelle