author | wenzelm |
Tue, 04 Apr 2000 12:31:48 +0200 | |
changeset 8664 | aa383eeb3359 |
parent 8663 | 38d7ec8ef683 |
child 8665 | 403c2985e65e |
--- 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}