Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 2005-03-29 11:26:43 -0800 (Tue, 29 Mar 2005) Revision: 7066 Log message:
Strip constrains, since they prevent beta-reduction.