Files in Section.8
------------------

INDEX        this file
proof.f      the source code
fpoint.lm    the approximate fixed point f^0_{lambda_-}
fpoint.lp    the approximate fixed point f^0_{lambda_+}
run          shell script compiling and running proof.f
alpha.log    log file produced by executing run on 
	     an Alphastation 600 5/333 using the 
             DIGITAL Fortran 77 compiler v5.0
--------------------------------------------------------