Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 2003-05-01 16:27:28 -0700 (Thu, 01 May 2003) Revision: 4533 Log message:
Propagate funT changes into theories/experimental/compile.