<!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> </DIV>
<DIV><FONT size=2 face=Arial><SPAN class=866442214-05102011>A new
lambda-calculus-with-redex version is available on my web
page:</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN
class=866442214-05102011></SPAN></FONT> </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> </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> </DIV>
<DIV><FONT face=Arial><SPAN class=866442214-05102011><SPAN
lang=ES-MODERN> </DIV>
<DIV><FONT size=2 face="Courier New">- renamed all <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> </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> </DIV>
<DIV><FONT face="Courier New"><FONT size=2>- a more elaborated text on the
difference between traversal by<SPAN class=866442214-05102011> </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> </DIV>
<DIV><FONT face="Courier New"><FONT size=2>- some minor <SPAN
class=866442214-05102011>and </SPAN>estetical editing on the <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> </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> </DIV>
<DIV><FONT face="Courier New"><FONT size=2><SPAN
class=866442214-05102011></SPAN></FONT></FONT> </DIV>
<DIV></SPAN></SPAN></FONT> </DIV></BODY></HTML>