Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2004-07-09 11:41:34 -0700 (Fri, 09 Jul 2004)
Revision: 6050
Log message:

      Theory of Objects: Another example of recursive object
      

Changes	Path
+7 -4	metaprl/theories/itt/itt_obj_base_rewrite.ml
+124 -61	metaprl/theories/itt/itt_obj_base_rewrite.prla