Makefile   --- edit Makefile to point correct ACL2 directory. 
mylet.lisp --- contains the definitions of the macro "mylet*"
error-analysis-tool3.lisp 
           --- containts the definitions and theorems mentioned
               in the paper. 





