<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=us-ascii" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 9.00.8112.16434"></HEAD>
<BODY>
<DIV><FONT size=2 face=Arial><SPAN class=866442214-05102011>To whom it 
concerns,</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=866442214-05102011></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial><SPAN class=866442214-05102011>A new 
lambda-calculus-with-redex version is available&nbsp;on my web 
page:</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=866442214-05102011></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial><SPAN class=866442214-05102011><A 
href="http://www.telefonica.net/web2/koot/">http://www.telefonica.net/web2/koot/</A></SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=866442214-05102011></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial><SPAN class=866442214-05102011>Inform me, please, 
when encountering any problems or errors or when you have other 
suggestions.</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN class=866442214-05102011>Kind regards, 
Jos</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=866442214-05102011></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial><SPAN class=866442214-05102011><SPAN 
lang=ES-MODERN>&nbsp;</DIV>
<DIV><FONT size=2 face="Courier New">- renamed all&nbsp;<SPAN 
class=866442214-05102011>.ss and .scm </SPAN>files with suffi<SPAN 
class=866442214-05102011>x</SPAN> rkt.</FONT></DIV>
<DIV><FONT size=2 face="Courier New"></FONT>&nbsp;</DIV>
<DIV><FONT face="Courier New"><FONT size=2>- improvement of the description of 
alpha congruence such as not to<SPAN class=866442214-05102011> </SPAN>be 
confused with equality<SPAN 
class=866442214-05102011>.</SPAN></FONT></FONT></DIV>
<DIV><FONT face="Courier New"><FONT size=2><SPAN 
class=866442214-05102011></SPAN></FONT></FONT>&nbsp;</DIV>
<DIV><FONT face="Courier New"><FONT size=2>- a more elaborated text on the 
difference between traversal by<SPAN class=866442214-05102011>&nbsp;</SPAN><SPAN 
class=866442214-05102011>d</SPAN>epth and by width<SPAN 
class=866442214-05102011>.</SPAN></FONT></FONT></DIV>
<DIV><FONT face="Courier New"><FONT size=2><SPAN 
class=866442214-05102011></SPAN></FONT></FONT>&nbsp;</DIV>
<DIV><FONT face="Courier New"><FONT size=2>- some minor <SPAN 
class=866442214-05102011>and&nbsp;</SPAN>estetical editing on the&nbsp;<SPAN 
class=866442214-05102011>text and </SPAN>source<SPAN class=866442214-05102011> 
codes</SPAN><SPAN class=866442214-05102011>.</SPAN></FONT></FONT></DIV>
<DIV><FONT face="Courier New"><FONT size=2><SPAN 
class=866442214-05102011></SPAN></FONT></FONT>&nbsp;</DIV>
<DIV><FONT face="Courier New"><FONT size=2><SPAN class=866442214-05102011>- 
deletion of normal-order-beta-reductor-version-2, because I implemented it 
wrongly and it appeared not to be deterministic after 
all.</SPAN></FONT></FONT></DIV>
<DIV><FONT face="Courier New"><FONT size=2><SPAN 
class=866442214-05102011></SPAN></FONT></FONT>&nbsp;</DIV>
<DIV><FONT face="Courier New"><FONT size=2><SPAN 
class=866442214-05102011></SPAN></FONT></FONT>&nbsp;</DIV>
<DIV></SPAN></SPAN></FONT>&nbsp;</DIV></BODY></HTML>