# HG changeset patch
# User wenzelm
# Date 954844308 -7200
# Node ID aa383eeb335976313155c779d60b3406c4a24daa
# Parent  38d7ec8ef683095f3769d1bcf5afba3eaacc9478
'let': replaced 'as' by 'and';

diff -r 38d7ec8ef683 -r aa383eeb3359 doc-src/IsarRef/pure.tex
--- 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}