Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-05-22 04:24:29 -0700 (Sat, 22 May 1999)
Revision: 2667
Log message:

      Modified the itt_rfun display form to be recursive.
      Sorry about the delay.  I forgot, and cs-annex-1 is
      having trouble.
      

Changes	Path
+3 -3	metaprl/theories/itt/itt_rfun.ml