The file logrel.pdf is the PDF for the paper "Mechanizing
Logical Relations", by Allen Stoughton, which describes the theory on
which Lambda is based and explains what the program does.
