| changeset 8664 | aa383eeb3359 |
| parent 8632 | 14a69a0e8679 |
| child 8682 | 82ebf8618e6b |
--- a/doc-src/IsarRef/pure.tex Mon Apr 03 21:05:07 2000 +0200 +++ b/doc-src/IsarRef/pure.tex Tue Apr 04 12:31:48 2000 +0200 @@ -850,7 +850,7 @@ does not support polymorphism. \begin{rail} - 'let' ((term + 'as') '=' term comment? + 'and') + 'let' ((term + 'and') '=' term comment? + 'and') ; \end{rail}