Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2004-07-05 17:47:08 -0700 (Mon, 05 Jul 2004)
Revision: 6036
Log message:

      Starting object implementation
      

Changes	Path
+1 -0	metaprl/theories/itt/OMakefile
Added	metaprl/theories/itt/itt_obj_base_rewrite.ml
Properties	metaprl/theories/itt/itt_obj_base_rewrite.ml
Added	metaprl/theories/itt/itt_obj_base_rewrite.mli
Properties	metaprl/theories/itt/itt_obj_base_rewrite.mli
Added	metaprl/theories/itt/itt_obj_base_rewrite.prla
Properties	metaprl/theories/itt/itt_obj_base_rewrite.prla