Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-08-31 14:13:54 -0700 (Wed, 31 Aug 2005)
Revision: 7693
Log message:

      Added support for computational operations on operators
      

Changes	Path
+80 -1	metaprl/theories/itt/itt_hoas_operator.ml
+6 -1	metaprl/theories/itt/itt_hoas_operator.mli
+4407 -2204	metaprl/theories/itt/itt_hoas_operator.prla