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.
corrected syntax diagram
authorhaftmann
Mon, 14 Jun 2010 10:38:28 +0200
changeset 37379 f23e60581eb3
parent 37378 5449c9aafdca
child 37380 35815ce9218a
corrected syntax diagram
doc-src/IsarRef/Thy/HOL_Specific.thy file | annotate | diff | comparison | revisions
doc-src/IsarRef/Thy/document/HOL_Specific.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/Thy/HOL_Specific.thy	Thu Jun 10 12:08:33 2010 +0200
+++ b/doc-src/IsarRef/Thy/HOL_Specific.thy	Mon Jun 14 10:38:28 2010 +0200
@@ -1066,7 +1066,7 @@
     target: 'OCaml' | 'SML' | 'Haskell'
     ;
 
-    'code\_datatype' const +
+    'code\_datatype' ( const + )
     ;
 
     'code\_const' (const + 'and') \\
--- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Thu Jun 10 12:08:33 2010 +0200
+++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Mon Jun 14 10:38:28 2010 +0200
@@ -1082,7 +1082,7 @@
     target: 'OCaml' | 'SML' | 'Haskell'
     ;
 
-    'code\_datatype' const +
+    'code\_datatype' ( const + )
     ;
 
     'code\_const' (const + 'and') \\
isabelle