Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-24 18:40:58 -0800 (Tue, 24 Jan 2006)
Revision: 8600
Log message:

      Fixed a couple of broken theorems.
      Back to the complete PoplMark, 122sec expand time:k