Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-09-06 17:44:30 -0700 (Mon, 06 Sep 1999)
Revision: 2812
Log message:
Finally fixed the tutorial so that we have a derivation of
classical first-order logic. The HTML docs are not yet up-to-date.