General overhaul completed August 19th (except for expected student contributions -- also, results in the theory of order are not yet included.) Further changes Mar 3, 1998 (new.quantifiers became main logic script) Further changes (peano.mk2 posted) Mar 10., 1998. Further changes (natorder.mk2 posted) May 19, 1998. The files should be given the indicated names, since some invoke others.