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.
fixed railroads;
authorwenzelm
Fri, 02 Aug 2002 17:52:51 +0200
changeset 13444 4cfead92f8f7
parent 13443 1c3327c348b3
child 13445 063c2190812b
fixed railroads;
doc-src/IsarRef/logics.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/logics.tex	Fri Aug 02 11:49:55 2002 +0200
+++ b/doc-src/IsarRef/logics.tex	Fri Aug 02 17:52:51 2002 +0200
@@ -100,7 +100,7 @@
   'typedef' altname? abstype '=' repset
   ;
 
-  altname = '(' (name | 'open' name?) ')'
+  altname: '(' (name | 'open' | 'open' name) ')'
   ;
   abstype: typespec infix?
   ;
isabelle