The ProofLite package has been moved to http://shemesh.larc.nasa.gov/people/cam/ProofLite.