<!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.16437"></HEAD> <BODY> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011>To whom it concerns,</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011></SPAN></FONT> </DIV> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011>Rodolfo Carvelho has scrutinately read lc-with-redex, spotted some typos and gave me some other advices which I followed. He my lc-with-redex.doc to lc-with-redex.pdf. Thank you Rodolfo.</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011></SPAN></FONT> </DIV> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011>Depending on wich reader you use, you may see an ugly triangle in section 'Normal forms and reducability'. I read it with Adobe Reader without this problem.</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011>The newest and hopefully ultimate and stable version is on my web page:</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011><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=657271421-14102011></SPAN></FONT> </DIV> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011>Have fun, Jos</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=657271421-14102011></SPAN></FONT> </DIV></BODY></HTML>