corrected syntax diagram
authorhaftmann
Mon Jun 14 10:38:28 2010 +0200 (2010-06-14)
changeset 37379f23e60581eb3
parent 37378 5449c9aafdca
child 37380 35815ce9218a
corrected syntax diagram
doc-src/IsarRef/Thy/HOL_Specific.thy
doc-src/IsarRef/Thy/document/HOL_Specific.tex
     1.1 --- a/doc-src/IsarRef/Thy/HOL_Specific.thy	Thu Jun 10 12:08:33 2010 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/HOL_Specific.thy	Mon Jun 14 10:38:28 2010 +0200
     1.3 @@ -1066,7 +1066,7 @@
     1.4      target: 'OCaml' | 'SML' | 'Haskell'
     1.5      ;
     1.6  
     1.7 -    'code\_datatype' const +
     1.8 +    'code\_datatype' ( const + )
     1.9      ;
    1.10  
    1.11      'code\_const' (const + 'and') \\
     2.1 --- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Thu Jun 10 12:08:33 2010 +0200
     2.2 +++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Mon Jun 14 10:38:28 2010 +0200
     2.3 @@ -1082,7 +1082,7 @@
     2.4      target: 'OCaml' | 'SML' | 'Haskell'
     2.5      ;
     2.6  
     2.7 -    'code\_datatype' const +
     2.8 +    'code\_datatype' ( const + )
     2.9      ;
    2.10  
    2.11      'code\_const' (const + 'and') \\