Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-01 19:36:59 -0800 (Tue, 01 Mar 2005)
Revision: 6794
Log message:
closure-elim now type checks.
We have a weird problem with dT. During typechecking, dT fails, but
manual application of the rules works, and autoT works.
I've changed the repeatT (dT 0) to autoT until we fix this problem.