Files in this directory: README this file Section8 directory containing programs, data, and logs Section8.tar.gz compressed version of Section8, for downloading (1502K) On a Unix system, the file Section8.tar.gz can be uncompressed by typing: gunzip -c Section8.tar.gz | tar xvf - (Or in more modern systems tar xvzf Section8.tar.gz) Files in Section8 ------------------ INDEX list of files in the Section8 directory 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 --------------------------------------------------------