src/Doc/Isar_Ref/Document_Preparation.thy
changeset 59937 6eccb133d4e6
parent 59917 9830c944670f
child 60270 a147272b16f9
     1.1 --- a/src/Doc/Isar_Ref/Document_Preparation.thy	Mon Apr 06 17:06:48 2015 +0200
     1.2 +++ b/src/Doc/Isar_Ref/Document_Preparation.thy	Mon Apr 06 17:20:10 2015 +0200
     1.3 @@ -471,7 +471,7 @@
     1.4    \end{matharray}
     1.5  
     1.6    @{rail \<open>
     1.7 -    'rail' (@{syntax string} | @{syntax cartouche})
     1.8 +    'rail' @{syntax text}
     1.9    \<close>}
    1.10  
    1.11    The @{antiquotation rail} antiquotation allows to include syntax