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