Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-26 14:13:09 -0800 (Sat, 26 Nov 2005)
Revision: 8222
Log message:

      Ouch!  Term_ds had an unfortunate typo.  This could potentially
      break a lot of proofs, but I haven't checked it.