Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-08-31 02:15:09 -0700 (Wed, 31 Aug 2005)
Revision: 7690
Log message:
Added a theory for computational support for operators.
TODO: There is a bug in the reduction of "shape{op}" - How to make an int
into a term? To be fixed