changeset 36158 | d2ad76e374d3 |
parent 36137 | 0c2538afe8e8 |
child 36453 | 2f383885d8f8 |
1.1 --- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex Thu Apr 15 20:37:27 2010 +0200 1.2 +++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex Thu Apr 15 20:56:04 2010 +0200 1.3 @@ -202,7 +202,7 @@ 1.4 \end{matharray} 1.5 1.6 \begin{rail} 1.7 - 'record' typespec '=' (type '+')? (constdecl +) 1.8 + 'record' typespecsorts '=' (type '+')? (constdecl +) 1.9 ; 1.10 \end{rail} 1.11