doc-src/IsarRef/Thy/document/HOL_Specific.tex

--- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Thu Apr 15 20:37:27 2010 +0200
+++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Thu Apr 15 20:56:04 2010 +0200
@@ -202,7 +202,7 @@
   \end{matharray}
 
   \begin{rail}
-    'record' typespec '=' (type '+')? (constdecl +)
+    'record' typespecsorts '=' (type '+')? (constdecl +)
     ;
   \end{rail}